Benchmarking and Resource Measurement. Beyer, D., Löwe, S., & Wendler, P. In Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, pages 160--178, 2015.
Paper doi bibtex @inproceedings{DBLP:conf/spin/0001LW15a,
author = {Dirk Beyer and
Stefan L{\"{o}}we and
Philipp Wendler},
title = {Benchmarking and Resource Measurement},
booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,
Stellenbosch, South Africa, August 24-26, 2015, Proceedings},
pages = {160--178},
year = {2015},
crossref = {DBLP:conf/spin/2015},
url = {http://dx.doi.org/10.1007/978-3-319-23404-5_12},
doi = {10.1007/978-3-319-23404-5_12},
timestamp = {Thu, 28 Apr 2016 12:21:28 +0200},
biburl = {http://dblp.dagstuhl.de/rec/bib/conf/spin/0001LW15a},
bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0
{"_id":"iBhry2qJ6zdtW2H6b","bibbaseid":"beyer-lwe-wendler-benchmarkingandresourcemeasurement-2015","downloads":0,"creationDate":"2017-02-19T18:08:59.392Z","title":"Benchmarking and Resource Measurement","author_short":["Beyer, D.","Löwe, S.","Wendler, P."],"year":2015,"bibtype":"inproceedings","biburl":"http://dblp.org/pers/tb2/w/Wendler:Philipp","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Dirk"],"propositions":[],"lastnames":["Beyer"],"suffixes":[]},{"firstnames":["Stefan"],"propositions":[],"lastnames":["Löwe"],"suffixes":[]},{"firstnames":["Philipp"],"propositions":[],"lastnames":["Wendler"],"suffixes":[]}],"title":"Benchmarking and Resource Measurement","booktitle":"Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings","pages":"160--178","year":"2015","crossref":"DBLP:conf/spin/2015","url":"http://dx.doi.org/10.1007/978-3-319-23404-5_12","doi":"10.1007/978-3-319-23404-5_12","timestamp":"Thu, 28 Apr 2016 12:21:28 +0200","biburl":"http://dblp.dagstuhl.de/rec/bib/conf/spin/0001LW15a","bibsource":"dblp computer science bibliography, http://dblp.org","bibtex":"@inproceedings{DBLP:conf/spin/0001LW15a,\n author = {Dirk Beyer and\n Stefan L{\\\"{o}}we and\n Philipp Wendler},\n title = {Benchmarking and Resource Measurement},\n booktitle = {Model Checking Software - 22nd International Symposium, {SPIN} 2015,\n Stellenbosch, South Africa, August 24-26, 2015, Proceedings},\n pages = {160--178},\n year = {2015},\n crossref = {DBLP:conf/spin/2015},\n url = {http://dx.doi.org/10.1007/978-3-319-23404-5_12},\n doi = {10.1007/978-3-319-23404-5_12},\n timestamp = {Thu, 28 Apr 2016 12:21:28 +0200},\n biburl = {http://dblp.dagstuhl.de/rec/bib/conf/spin/0001LW15a},\n bibsource = {dblp computer science bibliography, http://dblp.org}\n}\n\n","author_short":["Beyer, D.","Löwe, S.","Wendler, P."],"key":"DBLP:conf/spin/0001LW15a","id":"DBLP:conf/spin/0001LW15a","bibbaseid":"beyer-lwe-wendler-benchmarkingandresourcemeasurement-2015","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-319-23404-5_12"},"downloads":0},"search_terms":["benchmarking","resource","measurement","beyer","löwe","wendler"],"keywords":[],"authorIDs":[],"dataSources":["BKqo3YTQ52yFWpxCy"]}