Verifying parameterized networks (1997)

by E M Clarke, O Grumberg, S Jha
Venue:ACM Trans. Program. Lang. Syst