Distributed LTL Model Checking Based on Negative Cycle Detection (2001)

by L Brim, I Cerna, P Krcal, R Pelanek
Venue:In Proceedings of the 21st International Conference of Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001