Symbolic verification with periodic sets (1994)

by B Boigelot, P Wolper
Venue:In Proc. 6th Int. Conf. Computer Aided Verification (CAV’94