A note on on-the-fly verification algorithms (0)

by S Schwoon, J Esparza
Venue:In: Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems. 2005, 174–190