@inproceedings{HKV97,
	author	    =   "D. Harel and O. Kupferman and M.Y. Vardi",
        title       =   "On the Complexity of Verifying Concurrent
                         Transition Systems",
        booktitle   =   "Proc. 8th Conferance on Concurrency Theory",
        series	    =   "Lecture Notes in Computer Science",
        volume      =   "1243",
        pages       =   "258--272",
        address     =   "Warsaw",
        publisher   =   "Springer-Verlag",
        month       =   "July",
        year        =   "1997",
}