S.: Veryfying parameterized networks using abstraction and regular languages (1995)

by E M Clarke, O Grumberg, Jha
Venue:In: CONCUR’95. LNCS