Resource Aware ML. Hoffmann 0002, J., Aehlig, K., & Hofmann 0001, M. In Proceedings of Computer Aided Verification (CAV), pages 781-786, 2012. ![Resource Aware ML [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp2526932,
title = {Resource Aware ML},
author = {Jan Hoffmann 0002 and Klaus Aehlig and Martin Hofmann 0001},
author_short = {Hoffmann 0002, J. and Aehlig, K. and Hofmann 0001, M.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2012},
key = {dblp2526932},
id = {dblp2526932},
biburl = {http://www.dblp.org/rec/bibtex/conf/cav/0002AH12},
url = {http://dx.doi.org/10.1007/978-3-642-31424-7_64},
conference = {CAV},
pages = {781-786},
text = {CAV 2012:781-786},
booktitle = {Proceedings of Computer Aided Verification (CAV)}
}
Downloads: 0
{"_id":{"_str":"52a3062f9eb585cc26001f16"},"__v":3,"authorIDs":["5480332fa29145d03f000f13"],"author_short":["Hoffmann 0002, J.","Aehlig, K.","Hofmann 0001, M."],"bibbaseid":"hoffmann0002-aehlig-hofmann0001-resourceawareml-2012","bibdata":{"title":"Resource Aware ML","author":["Jan Hoffmann 0002","Klaus Aehlig","Martin Hofmann 0001"],"author_short":["Hoffmann 0002, J.","Aehlig, K.","Hofmann 0001, M."],"bibtype":"inproceedings","type":"inproceedings","year":"2012","key":"dblp2526932","id":"dblp2526932","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/0002AH12","url":"http://dx.doi.org/10.1007/978-3-642-31424-7_64","conference":"CAV","pages":"781-786","text":"CAV 2012:781-786","booktitle":"Proceedings of Computer Aided Verification (CAV)","bibtex":"@inproceedings{ dblp2526932,\n title = {Resource Aware ML},\n author = {Jan Hoffmann 0002 and Klaus Aehlig and Martin Hofmann 0001},\n author_short = {Hoffmann 0002, J. and Aehlig, K. and Hofmann 0001, M.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2526932},\n id = {dblp2526932},\n biburl = {http://www.dblp.org/rec/bibtex/conf/cav/0002AH12},\n url = {http://dx.doi.org/10.1007/978-3-642-31424-7_64},\n conference = {CAV},\n pages = {781-786},\n text = {CAV 2012:781-786},\n booktitle = {Proceedings of Computer Aided Verification (CAV)}\n}","bibbaseid":"hoffmann0002-aehlig-hofmann0001-resourceawareml-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-642-31424-7_64"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/cav/0002AH12","downloads":0,"keywords":[],"search_terms":["resource","aware","hoffmann 0002","aehlig","hofmann 0001"],"title":"Resource Aware ML","year":2012,"dataSources":["Qo9SNK48HjQAjhpXd"]}