| Home | << 1 >> |
|
| Author | Title | Year  |
Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages |
|---|---|---|---|---|---|---|---|---|---|
| Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa | Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems | 2004 | Sttt | 10.1007/s10009-004-0149-6 | 6 | 320-341 |