Efficient Model Checking Via Buchi Tableau Automata⋆
| Title | Efficient Model Checking Via Buchi Tableau Automata⋆ |
| Publication Type | Conference Papers |
| Year of Publication | 2001 |
| Authors | Bhat GS, Cleaveland R, Groce A |
| Conference Name | Computer aided verification: 13th International conference, CAV 2001, Paris, France, July 18-22, 2001: proceedings |
| Date Published | 2001/// |