| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco; Pugliese, Rosario; Tronci, Enrico | A Symbolic Model Checker for ACTL | 1998 | International Workshop on Current Trends in Applied Formal Method (FM-Trends) | Springer | 3-540-66462-9 | 10.1007/3-540-48257-1_14 | 228-242 |