@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",
}