@inproceedings{LATA-2007-TabakovV,
	author        = "Deian Tabakov and Moshe Y. Vardi",
	booktitle     = "{Proceedings of the First International Conference on Language and Automata Theory and Applications}",
	pages         = "565--576",
	publisher     = "{Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona}",
	title         = "{Model Checking Buechi Specifications}",
	volume        = "Report 35/07",
	year          = 2007,
}