| Home | << 1 >> |
|
| Author | Title | Year | Publication | Publisher | ISSN | ISBN | DOI | Volume | Pages  |
|---|---|---|---|---|---|---|---|---|---|
| Tronci, Enrico; Della Penna, Giuseppe; Intrigila, Benedetto; Venturini Zilli, Marisa | A Probabilistic Approach to Automatic Verification of Concurrent Systems | 2001 | 8th Asia-Pacific Software Engineering Conference (APSEC) | IEEE Computer Society | 0-7695-1408-1 | 10.1109/APSEC.2001.991495 | 317-324 |