@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.} }