Experimental Analysis of Different Techniques for Bounded Model Checking. Amla, N., Kurshan, R. P., McMillan, K. L., & Medel, R. 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, pages 34–48, 2003.
Experimental Analysis of Different Techniques for Bounded Model Checking [link]Paper  doi  bibtex   
@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},
  crossref  = {DBLP:conf/tacas/2003},
  url       = {https://doi.org/10.1007/3-540-36577-X\_4},
  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}
}

Downloads: 0