Verifying a Model-Checking Algorithm," Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS96 (1996)

by C-T Chou, D Peled
Venue:Lecture Notes in Computer Science 1,055