Automatic verification of parameterized networks of processes

D. Lesens,N. Halbwachs,Pascal Raymond
DOI: https://doi.org/10.1016/S0304-3975(00)00104-3
IF: 1.002
2001-04-06
Theoretical Computer Science
Abstract:
What problem does this paper attempt to address?