Tree-Like Counterexamples in Model Checking

Clarke, Edmund M.; Jha, Somesh; Lu, Yuan; Veith, Helmut

by Edmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith

Reference:

Tree-Like Counterexamples in Model CheckingEdmund M. Clarke, Somesh Jha, Yuan Lu, Helmut Veith17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25 July 2002, Copenhagen, Denmark, Proceedings, pages 19-29, 2002, IEEE Computer Society.

Bibtex Entry:

@inproceedings{DBLP:conf/lics/ClarkeJLV02,
  author = {Edmund M. Clarke and Somesh Jha and Yuan Lu and Helmut Veith},
  title = {Tree-Like Counterexamples in Model Checking},
  year = {2002},
  booktitle = {17th IEEE Symposium on Logic in Computer Science (LICS 2002), 22-25   July 2002, Copenhagen, Denmark, Proceedings},
  pages = {19--29},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-1483-9},
  url = {http://computer.org/proceedings/lics/1483/14830019abs.htm}
}