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

by P Wolper, V Lovinfosse
Venue:In Proceedings of AVMFSS’89