Search results for: M. Yannakakis
Lecture Notes in Computer Science > Tools and Algorithms for the Construction and Analysis of Systems > Probabilistic Model Checking and Markov Chains > 50-65
Journal of Computer and System Sciences > 1995 > 51 > 2 > 177-196
Information and Computation > 1995 > 118 > 1 > 142-157
Journal of Computer and System Sciences > 1995 > 50 > 2 > 209-227