Search results for: K. Etessami
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 > Verification, Model Checking, and Abstract Interpretation > Formal Methods III > 282-296
International Journal of Game Theory > 2008 > 37 > 1 > 93-113