Symbolic verification with periodic sets (0)

by B Boigelot, P Wolper
Venue:Proc. Computer Aided Verification, volume 818 of LNCS