Counterexamples Revisited: Principles, Algorithms, Applications (bibtex)
by Edmund M. Clarke, Helmut Veith
Reference:
Counterexamples Revisited: Principles, Algorithms, ApplicationsEdmund M. Clarke, Helmut VeithVerification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday (Nachum Dershowitz, ed.), pages 208-224, 2003, Springer.
Bibtex Entry:
@inproceedings{DBLP:conf/birthday/ClarkeV03,
  author = {Edmund M. Clarke and Helmut Veith},
  title = {Counterexamples Revisited: Principles, Algorithms, Applications},
  year = {2003},
  booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna   on the Occasion of His 64th Birthday},
  editor = {Nachum Dershowitz},
  pages = {208--224},
  publisher = {Springer},
  isbn = {3-540-21002-4},
  url = {http://springerlink.metapress.com/openurl.asp?genre$=$article\&issn$=$0% 302-9743\&volume$=$2772\&spage$=$208}
}
Powered by bibtexbrowser