Publications of A. Dianco sorted by title
M
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 ,