Evolving Critical Systems - Track Introduction. Hinchey, M. & Margaria, T. In Proceedings of Leveraging Applications of Formal Methods (ISoLA), pages 1-3, 2014. ![Evolving Critical Systems - Track Introduction [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper bibtex @inproceedings{ dblp2005299,
title = {Evolving Critical Systems - Track Introduction},
author = {Mike Hinchey and Tiziana Margaria},
author_short = {Hinchey, M. and Margaria, T.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2014},
key = {dblp2005299},
id = {dblp2005299},
biburl = {http://www.dblp.org/rec/bibtex/conf/isola/HincheyM14},
url = {http://dx.doi.org/10.1007/978-3-662-45234-9_1},
conference = {ISoLA},
pages = {1-3},
text = {ISoLA 2014:1-3},
booktitle = {Proceedings of Leveraging Applications of Formal Methods (ISoLA)}
}
Downloads: 0
{"_id":"4R5FykYDbQr259rrj","bibbaseid":"hinchey-margaria-evolvingcriticalsystemstrackintroduction-2014","downloads":0,"creationDate":"2015-12-04T23:16:18.919Z","title":"Evolving Critical Systems - Track Introduction","author_short":["Hinchey, M.","Margaria, T."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/HincheyM14","bibdata":{"title":"Evolving Critical Systems - Track Introduction","author":["Mike Hinchey","Tiziana Margaria"],"author_short":["Hinchey, M.","Margaria, T."],"bibtype":"inproceedings","type":"inproceedings","year":"2014","key":"dblp2005299","id":"dblp2005299","biburl":"http://www.dblp.org/rec/bibtex/conf/isola/HincheyM14","url":"http://dx.doi.org/10.1007/978-3-662-45234-9_1","conference":"ISoLA","pages":"1-3","text":"ISoLA 2014:1-3","booktitle":"Proceedings of Leveraging Applications of Formal Methods (ISoLA)","bibtex":"@inproceedings{ dblp2005299,\n title = {Evolving Critical Systems - Track Introduction},\n author = {Mike Hinchey and Tiziana Margaria},\n author_short = {Hinchey, M. and Margaria, T.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2014},\n key = {dblp2005299},\n id = {dblp2005299},\n biburl = {http://www.dblp.org/rec/bibtex/conf/isola/HincheyM14},\n url = {http://dx.doi.org/10.1007/978-3-662-45234-9_1},\n conference = {ISoLA},\n pages = {1-3},\n text = {ISoLA 2014:1-3},\n booktitle = {Proceedings of Leveraging Applications of Formal Methods (ISoLA)}\n}","bibbaseid":"hinchey-margaria-evolvingcriticalsystemstrackintroduction-2014","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-662-45234-9_1"},"downloads":0},"search_terms":["evolving","critical","systems","track","introduction","hinchey","margaria"],"keywords":[],"authorIDs":[],"dataSources":["tzKXDooLdorsrDyQC"]}