@proceedings{DBLP:conf/spin/2015,
  editor    = {Bernd Fischer and
               Jaco Geldenhuys},
  title     = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
               Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9232},
  publisher = {Springer},
  year      = {2015},
  url       = {http://dx.doi.org/10.1007/978-3-319-23404-5},
  doi       = {10.1007/978-3-319-23404-5},
  isbn      = {978-3-319-23403-8},
  timestamp = {Thu, 28 Apr 2016 12:21:28 +0200},
  biburl    = {http://dblp.dagstuhl.de/rec/bib/conf/spin/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

{"_id":"KP32pfd4xDN9xKLfr","bibbaseid":"fischer-geldenhuys-modelcheckingsoftware22ndinternationalsymposiumspin2015stellenboschsouthafricaaugust24262015proceedings-2015","downloads":0,"creationDate":"2017-02-19T18:08:59.419Z","title":"Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings","author_short":null,"year":2015,"bibtype":"proceedings","biburl":"http://dblp.org/pers/tb2/w/Wendler:Philipp","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Bernd"],"propositions":[],"lastnames":["Fischer"],"suffixes":[]},{"firstnames":["Jaco"],"propositions":[],"lastnames":["Geldenhuys"],"suffixes":[]}],"title":"Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings","series":"Lecture Notes in Computer Science","volume":"9232","publisher":"Springer","year":"2015","url":"http://dx.doi.org/10.1007/978-3-319-23404-5","doi":"10.1007/978-3-319-23404-5","isbn":"978-3-319-23403-8","timestamp":"Thu, 28 Apr 2016 12:21:28 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/spin/2015","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@proceedings{DBLP:conf/spin/2015,\n editor = {Bernd Fischer and\n Jaco Geldenhuys},\n title = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,\n Stellenbosch, South Africa, August 24-26, 2015, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {9232},\n publisher = {Springer},\n year = {2015},\n url = {http://dx.doi.org/10.1007/978-3-319-23404-5},\n doi = {10.1007/978-3-319-23404-5},\n isbn = {978-3-319-23403-8},\n timestamp = {Thu, 28 Apr 2016 12:21:28 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/spin/2015},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","editor_short":["Fischer, B.","Geldenhuys, J."],"key":"DBLP:conf/spin/2015","id":"DBLP:conf/spin/2015","bibbaseid":"fischer-geldenhuys-modelcheckingsoftware22ndinternationalsymposiumspin2015stellenboschsouthafricaaugust24262015proceedings-2015","role":"editor","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-23404-5"},"downloads":0},"search_terms":["model","checking","software","22nd","international","symposium","spin","2015","stellenbosch","south","africa","august","2015","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["BKqo3YTQ52yFWpxCy"]}