Experimental Analysis of Different Techniques for Bounded Model Checking (bibtex)

by Nina Amla and Robert P. Kurshan and Kenneth L. McMillan and Ricardo Medel

Reference:

Experimental Analysis of Different Techniques for Bounded Model Checking (Nina Amla and Robert P. Kurshan and Kenneth L. McMillan and Ricardo Medel), In Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, 2003.

Bibtex Entry:

@inproceedings{DBLP:conf/tacas/AmlaKMM03,
  author    = {Nina Amla and
               Robert P. Kurshan and
               Kenneth L. McMillan and
               Ricardo Medel},
  title     = {Experimental Analysis of Different Techniques for Bounded Model Checking},
  booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
               9th International Conference, {TACAS} 2003, Held as Part of the Joint
               European Conferences on Theory and Practice of Software, {ETAPS} 2003,
               Warsaw, Poland, April 7-11, 2003, Proceedings},
  pages     = {34--48},
  year      = {2003},
  url       = {TACAS03b.pdf},
  doi       = {10.1007/3-540-36577-X\_4},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/tacas/AmlaKMM03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}