A Probabilistic Approach to Automatic Verification of Concurrent Systems.

Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli

Browse the full APSEC paper archive.