Verifying Parameterized Networks (1997)

by E. M. Clarke, O. Grumberg, S. Jha