Model Checking for a First Order Temporal Logic Using Multiway Decision Graphs (1998)

by Y Xu, E Cerny, X Song, F Corella, O Ait-Mohamed
Venue:Computer Aided Verification, Lecture Notes in Computer Science 1427