@inproceedings{conf/vmcai/Vardi07,
	title = {Automata-Theoretic Model Checking Revisited.},
	author = {Moshe Y. Vardi},
	booktitle = {VMCAI},
	crossref = {conf/vmcai/2007},
	editor = {Byron Cook and Andreas Podelski},
	pages = {137-150},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	url = {http://dblp.uni-trier.de/db/conf/vmcai/vmcai2007.html#Vardi07},
	volume = {4349},
	year = {2007},
	biburl = {http://www.bibsonomy.org/bibtex/2f62a079f92c0f4bbf1df17ae8d68bea4/dblp},
	description = {dblp},
	ee = {http://dx.doi.org/10.1007/978-3-540-69738-1_10}, isbn = {978-3-540-69735-0}, date = {2008-01-08},
	keywords = {dblp }
}