Symbolic verification with periodic sets (1994)

by B Boigelot, P Wolper
Venue:In CAV’94, Stanford (Ca