Verifying Systems with Infinite but Regular State Spaces.

Pierre Wolper, Bernard Boigelot

Browse the full CAV paper archive.