Fluid Petri Nets and hybrid model-checking: a comparative case study
| Year of publication: |
2003
|
|---|---|
| Authors: | Gribaudo, M. ; Horváth, A. ; Bobbio, A. ; Tronci, E. ; Ciancamerla, E. ; Minichino, M. |
| Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 81.2003, 3, p. 239-258
|