Symbolic Verification with Periodic Sets.

Bernard Boigelot, Pierre Wolper

Browse the full CAV paper archive.