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:52 - 1 self