Bounded-memory algorithms for verification on-the-fly (1991)

by C JARD, T JERON
Venue:In Proceedings of the Third International Workshop on Computer Aided Verification