@inproceedings{KV98e,
	author	    =   "O. Kupferman and M.Y. Vardi",
        title       =   "Modular model checking",
	booktitle   = 	"Proc. Compositionality Workshop",
        series      =   "Lecture Notes in Computer Science",
        volume	    =   "1536",
        publisher   =   "Springer-Verlag",
        year        =   "1998"
}