Symbolic verification with periodic sets (1994)

by B Boigelot, P Wolper
Venue:In Int. Conf. on Computer-Aided Verification, volume 818 of Lect. Notes in Computer Science