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

by P Wolper, V Lovinfosse
Venue:In Automatic Verification Methods for Finite State Systems