Search results for: M. Y. Vardi
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Model Checking and Markov Chains > 50-65
Lecture Notes in Computer Science > STACS 98 > 216-226
49th IEEE Conference on Decision and Control (CDC) > 1108 - 1115
Formal Methods in System Design > 2001 > 18 > 2 > 131-140