| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN  |
DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Pugliese, Rosario; Tronci, Enrico | Automatic Verification of a Hydroelectric Power Plant | 1996 | Third International Symposium of Formal Methods Europe (FME), Co-Sponsored by IFIP WG 14.3 | Springer | 3-540-60973-3 | 10.1007/3-540-60973-3_100 | 425-444 |