|
[BdA95]
A. Bianco and L. de Alfaro.
Model Checking of Probabilistic and Nondeterministic Systems.
In P. Thiagarajan (editor), Proc. 15th Conference on Foundations of Software Technology and Theoretical Computer Science, volume 1026 of LNCS, pages 499--513, Springer.
1995.
[bib]
|
|
Downloads:
 bib
|
|
Notes:
The original publication is available at link.springer.com.
|
|
Links:
[Google]
[Google Scholar]
|