Publications of A. Dianco
1995
Model checking of probabilistic and nondeteministic systems, in: Foundations of Software Technology and Theoretical Computer Science, pages 499--513, Springer, 1995 | and ,
Model checking of probabilistic and nondeteministic systems, in: Foundations of Software Technology and Theoretical Computer Science, pages 499--513, Springer, 1995 | and ,