Bounded-memory Algorithms for Verification On-the-fly (1992)

by C Jard, T Jeron
Venue:In CAV’91, volume 575 of LNCS