Tree-like counterexamples in model checking (0)

by E M Clarke, S Jha, Y Lu, H Veith
Venue:In Proceedings of the 17th Symposium on Logic in Computer Science (LICS