@conference {12828,
	title = {Efficient Model Checking Via Buchi Tableau Automata*},
	booktitle = {Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings},
	volume = {2102},
	year = {2001},
	month = {2001///},
	pages = {38 - 38},
	author = {Bhat,G. S and Cleaveland, Rance and Groce,A.}
}
