Efficient On-the-Fly Model Checking for CTL*

Girish Bhat, Rance Cleaveland, Orna Grumberg

Browse the full LICS paper archive.