Verifying properties of large sets of processes with network invariants (1989)

by P Wolper, V Lovinfosse
Venue:Automatic Verification Methods for Finite State Systems, volume 407 of Lect. Notes in Comp. Sci