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

by P Wolper, V Lovinfosse
Venue:In Proceedings of the Workshop on Automatic Veri Methods for Finite State Systems