|
[CDDS06]
D. Cerotti, D. D'Aprile, S. Donatelli and J. Sproston.
Verifying Stochastic Well-formed Nets with CSL Model-Checking Tools.
In Proc. 6th International Conference on Application of Concurrency to System Design (ACSD'06), IEEE Computer Society Press.
2006.
[bib]
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|