A. Dianco
First name(s): A.
Last name(s): Dianco

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