Search results for: Kousha Etessami
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Temporal Logic > 467-481
Lecture Notes in Computer Science > CONCUR 2003 - Concurrency Theory > Partial Orders and Asynchronous Systems > 42-56
Lecture Notes in Computer Science > Automata, Languages and Programming > Session B4: Probabilistic Systems > 332-343
Lecture Notes in Computer Science > STACS 2006 > 634-645
Lecture Notes in Computer Science > Automata, Languages and Programming > Reasoning and Verification > 797-808
Lecture Notes in Computer Science > FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science > Invited Papers > 16-31
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Systems, Probabilistic Model-Checking > 253-270
Lecture Notes in Computer Science > STACS 2005 > Session 5A > 340-352
Lecture Notes in Computer Science > Verification, Model Checking, and Abstract Interpretation > Submitted Papers > 59-73
Lecture Notes in Computer Science > STACS 94 > 123-135
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Model Checking and Markov Chains > 66-71
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Infinite State Systems > 61-76
Lecture Notes in Computer Science > Automata, Languages and Programming > Model Checking and Protocol Analysis > 694-707
Lecture Notes in Computer Science > Automata, Languages and Programming > Contributed Papers > 159-168