Automatic Verification of Parameterized Networks of Processes by Abstraction (1997)

by D Lesens, H Sadi
Venue:In International Workshop on Verification of Infinite State Systems (INFINITY’97