Verifying systems with infinite but regular state spaces (1998)

Cached

Download Links

by Pierre Wolper , Bernard Boigelot
Venue:CAV'98, VOLUME 1427 OF LNCS
Citations:53 - 1 self