Dimitris Kavvadias;Grammati E. Pantziou;Paul G. Spirakis;Christos D. Zaroliagis
-;-;-;-
Distributed LTL Model Checking Based on Negative Cycle Detection
FST TCS '01 Proceedings of the 21st Conference on Foundations of Software Technology and Theoretical Computer Science