| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Della Penna, Giuseppe; Intrigila, Benedetto; Tronci, Enrico; Venturini Zilli, Marisa | Exploiting Transition Locality in the Disk Based Mur$\varphi$ Verifier | 2002 | 4th International Conference on Formal Methods in Computer-Aided Design (FMCAD) | Springer | 3-540-00116-6 | 10.1007/3-540-36126-X_13 | 202-219 |