| Home | << 1 >> |
|
Author  |
Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Gribaudo, Marco; Horváth, Andras; Bobbio, Andrea; Tronci, Enrico; Ciancamerla, Ester; Minichino, Michele | Fluid Petri Nets and hybrid model checking: a comparative case study | 2003 | Int. Journal on: Reliability Engineering & System Safety | Elsevier | 10.1016/S0951-8320(03)00089-9 | 81 | 239-257 |