A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking.

Thomas A. Henzinger, Orna Kupferman, Moshe Y. Vardi

Browse the full CONCUR paper archive.