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

{"_id":"DEgbKr82iCBmuvEew","bibbaseid":"amla-kurshan-mcmillan-medel-experimentalanalysisofdifferenttechniquesforboundedmodelchecking-2003","downloads":0,"creationDate":"2018-07-08T21:22:38.723Z","title":"Experimental Analysis of Different Techniques for Bounded Model Checking","author_short":["Amla, N.","Kurshan, R. P.","McMillan, K. L.","Medel, R."],"year":2003,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/m/KennethLMcMillan.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Nina"],"propositions":[],"lastnames":["Amla"],"suffixes":[]},{"firstnames":["Robert","P."],"propositions":[],"lastnames":["Kurshan"],"suffixes":[]},{"firstnames":["Kenneth","L."],"propositions":[],"lastnames":["McMillan"],"suffixes":[]},{"firstnames":["Ricardo"],"propositions":[],"lastnames":["Medel"],"suffixes":[]}],"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","bibtex":"@inproceedings{DBLP:conf/tacas/AmlaKMM03,\n author = {Nina Amla and\n Robert P. Kurshan and\n Kenneth L. McMillan and\n Ricardo Medel},\n title = {Experimental Analysis of Different Techniques for Bounded Model Checking},\n booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,\n 9th International Conference, {TACAS} 2003, Held as Part of the Joint\n European Conferences on Theory and Practice of Software, {ETAPS} 2003,\n Warsaw, Poland, April 7-11, 2003, Proceedings},\n pages = {34--48},\n year = {2003},\n crossref = {DBLP:conf/tacas/2003},\n url = {https://doi.org/10.1007/3-540-36577-X\\_4},\n doi = {10.1007/3-540-36577-X\\_4},\n timestamp = {Mon, 29 May 2017 16:53:44 +0200},\n biburl = {https://dblp.org/rec/bib/conf/tacas/AmlaKMM03},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Amla, N.","Kurshan, R. P.","McMillan, K. L.","Medel, R."],"key":"DBLP:conf/tacas/AmlaKMM03","id":"DBLP:conf/tacas/AmlaKMM03","bibbaseid":"amla-kurshan-mcmillan-medel-experimentalanalysisofdifferenttechniquesforboundedmodelchecking-2003","role":"author","urls":{"Paper":"https://doi.org/10.1007/3-540-36577-X_4"},"downloads":0,"html":""},"search_terms":["experimental","analysis","different","techniques","bounded","model","checking","amla","kurshan","mcmillan","medel"],"keywords":[],"authorIDs":[],"dataSources":["mNLXpycJZCXeu2mHY"]}