![](/img/cover-not-exists.png)
Exploiting transition locality in automatic verification of finite-state concurrent systems
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini ZilliVolume:
6
Language:
english
Pages:
22
DOI:
10.1007/s10009-004-0149-6
Date:
August, 2004
File:
PDF, 1.48 MB
english, 2004