|
[DAp07]
D. D'Aprile.
Timed and Stochastic Model Checking of Petri Nets.
Ph.D. thesis, Dipartimento di Informatica, University of Torino.
2007.
[bib]
http://www.di.unito.it/~phd/documents/tesi/XIX/DAprileTesiJan2007.pdf
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|