@inproceedings{KV95, author = "O. Kupferman and M.Y. Vardi", title = "On the complexity of branching modular model checking", booktitle = "Proc. 6th Conferance on Concurrency Theory", address = "Philadelphia", series = "Lecture Notes in Computer Science", volume = "962", pages = "408-422", publisher = "Springer-Verlag", month = "August", year = "1995", }