Verifying properties of large sets of processes with network invariants,” in Automatic Verification Methods for Finite State Systems (1990)

by P Wolper, V Lovinfosse