|
[GHB+03]
M. Gribaudo, A. Horvath, A. Bobbio, E. Tronci, E. Ciancamerla and M. Minichino.
Fluid Petri Nets and Hybrid Model-checking: A Comparative Case Study.
Reliability Engineering and System Safety, 81, pages 239-257.
2003.
[bib]
http://www.mfn.unipmn.it/~bobbio/BIBLIO/bliagg.html
|
|
Downloads:
 bib
|
|
Links:
[Google]
[Google Scholar]
|
|
Available from:
http://www.mfn.unipmn.it/~bobbio/BIBLIO/bliagg.html
|