Tree-Like Counterexamples in Model Checking (bibtex)
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}
}
Powered by bibtexbrowser