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

by S Schwoon, J Esparza
Venue:Proc. of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), volume 3440 of Lecture Notes in Computer Science