Constructing Invariants for Hybrid Systems. Sankaranarayanan, S., Sipma, H., & Manna, Z. In Proceedings of Hybrid Systems (HSCC), pages 539-554, 2004. Paper bibtex @inproceedings{ dblp3813752,
title = {Constructing Invariants for Hybrid Systems},
author = {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},
author_short = {Sankaranarayanan, S. and Sipma, H. and Manna, Z.},
bibtype = {inproceedings},
type = {inproceedings},
year = {2004},
key = {dblp3813752},
id = {dblp3813752},
biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM04},
url = {http://dx.doi.org/10.1007/978-3-540-24743-2_36},
conference = {HSCC},
pages = {539-554},
text = {HSCC 2004:539-554},
booktitle = {Proceedings of Hybrid Systems (HSCC)}
}
Downloads: 0
{"_id":"s3Pcz5KCe4iPXwsfn","bibbaseid":"sankaranarayanan-sipma-manna-constructinginvariantsforhybridsystems-2004","downloads":0,"creationDate":"2015-10-19T18:43:42.453Z","title":"Constructing Invariants for Hybrid Systems","author_short":["Sankaranarayanan, S.","Sipma, H.","Manna, Z."],"year":2004,"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM04","bibdata":{"title":"Constructing Invariants for Hybrid Systems","author":["Sriram Sankaranarayanan","Henny Sipma","Zohar Manna"],"author_short":["Sankaranarayanan, S.","Sipma, H.","Manna, Z."],"bibtype":"inproceedings","type":"inproceedings","year":"2004","key":"dblp3813752","id":"dblp3813752","biburl":"http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM04","url":"http://dx.doi.org/10.1007/978-3-540-24743-2_36","conference":"HSCC","pages":"539-554","text":"HSCC 2004:539-554","booktitle":"Proceedings of Hybrid Systems (HSCC)","bibtex":"@inproceedings{ dblp3813752,\n title = {Constructing Invariants for Hybrid Systems},\n author = {Sriram Sankaranarayanan and Henny Sipma and Zohar Manna},\n author_short = {Sankaranarayanan, S. and Sipma, H. and Manna, Z.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2004},\n key = {dblp3813752},\n id = {dblp3813752},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hybrid/SankaranarayananSM04},\n url = {http://dx.doi.org/10.1007/978-3-540-24743-2_36},\n conference = {HSCC},\n pages = {539-554},\n text = {HSCC 2004:539-554},\n booktitle = {Proceedings of Hybrid Systems (HSCC)}\n}","bibbaseid":"sankaranarayanan-sipma-manna-constructinginvariantsforhybridsystems-2004","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/978-3-540-24743-2_36"},"downloads":0},"search_terms":["constructing","invariants","hybrid","systems","sankaranarayanan","sipma","manna"],"keywords":[],"authorIDs":[],"dataSources":["AM6YCNugwJYhwL226"]}