L. De Alfaro
First name(s): L. De
Last name(s): Alfaro

Publications of L. De Alfaro
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