Safety Guarantees from Explicit Resource Management. Aspinall, D., Maier, P., & Stark, I. In Proceedings of Formal Methods for Components and Objects (FMCO), pages 52-71, 2007. ![Safety Guarantees from Explicit Resource Management [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp3293409,
title = {Safety Guarantees from Explicit Resource Management},
author = {David Aspinall and Patrick Maier and Ian Stark},
author_short = {Aspinall, D. and Maier, P. and Stark, I.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2007},
key = {dblp3293409},
id = {dblp3293409},
biburl = {http://www.dblp.org/rec/bibtex/conf/fmco/AspinallMS07},
url = {http://dx.doi.org/10.1007/978-3-540-92188-2_3},
conference = {FMCO},
pages = {52-71},
text = {FMCO 2007:52-71},
booktitle = {Proceedings of Formal Methods for Components and Objects (FMCO)}
}
Downloads: 0
{"_id":{"_str":"5277dc255e011a4c4b000164"},"__v":9,"authorIDs":["5461d3a38a9aab071c0000fe"],"author_short":["Aspinall, D.","Maier, P.","Stark, I."],"bibbaseid":"aspinall-maier-stark-safetyguaranteesfromexplicitresourcemanagement-2007","bibdata":{"title":"Safety Guarantees from Explicit Resource Management","author":["David Aspinall","Patrick Maier","Ian Stark"],"author_short":["Aspinall, D.","Maier, P.","Stark, I."],"bibtype":"inproceedings","type":"inproceedings","year":"2007","key":"dblp3293409","id":"dblp3293409","biburl":"http://www.dblp.org/rec/bibtex/conf/fmco/AspinallMS07","url":"http://dx.doi.org/10.1007/978-3-540-92188-2_3","conference":"FMCO","pages":"52-71","text":"FMCO 2007:52-71","booktitle":"Proceedings of Formal Methods for Components and Objects (FMCO)","bibtex":"@inproceedings{ dblp3293409,\n title = {Safety Guarantees from Explicit Resource Management},\n author = {David Aspinall and Patrick Maier and Ian Stark},\n author_short = {Aspinall, D. and Maier, P. and Stark, I.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2007},\n key = {dblp3293409},\n id = {dblp3293409},\n biburl = {http://www.dblp.org/rec/bibtex/conf/fmco/AspinallMS07},\n url = {http://dx.doi.org/10.1007/978-3-540-92188-2_3},\n conference = {FMCO},\n pages = {52-71},\n text = {FMCO 2007:52-71},\n booktitle = {Proceedings of Formal Methods for Components and Objects (FMCO)}\n}","bibbaseid":"aspinall-maier-stark-safetyguaranteesfromexplicitresourcemanagement-2007","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-92188-2_3"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/fmco/AspinallMS07","downloads":0,"keywords":[],"search_terms":["safety","guarantees","explicit","resource","management","aspinall","maier","stark"],"title":"Safety Guarantees from Explicit Resource Management","year":2007,"dataSources":["Xx3qnMkAyebWEgquR"]}