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