Constructing invariants for hybrid systems. Sankaranarayanan, S., Sipma, H. B., & Manna, Z. Formal Methods in System Design (FMSD), 32(1):25-55, 2008. Paper bibtex @article{ dblp3183529,
title = {Constructing invariants for hybrid systems},
author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},
author_short = {Sankaranarayanan, S. and Sipma, H. B. and Manna, Z.},
bibtype = {article},
type = {article},
year = {2008},
key = {dblp3183529},
id = {dblp3183529},
biburl = {http://www.dblp.org/rec/bibtex/journals/fmsd/SankaranarayananSM08},
url = {http://dx.doi.org/10.1007/s10703-007-0046-1},
journal = {Formal Methods in System Design (FMSD)},
pages = {25-55},
number = {1},
volume = {32},
text = {Formal Methods in System Design (FMSD) 32(1):25-55 (2008)}
}
Downloads: 0
{"_id":"gcZwQ3i6NFsnnCz28","bibbaseid":"sankaranarayanan-sipma-manna-constructinginvariantsforhybridsystems-2008","downloads":0,"creationDate":"2015-10-19T18:43:42.387Z","title":"Constructing invariants for hybrid systems","author_short":["Sankaranarayanan, S.","Sipma, H. B.","Manna, Z."],"year":2008,"bibtype":"article","biburl":"http://www.dblp.org/rec/bibtex/journals/fmsd/SankaranarayananSM08","bibdata":{"title":"Constructing invariants for hybrid systems","author":["Sriram Sankaranarayanan","Henny B. Sipma","Zohar Manna"],"author_short":["Sankaranarayanan, S.","Sipma, H. B.","Manna, Z."],"bibtype":"article","type":"article","year":"2008","key":"dblp3183529","id":"dblp3183529","biburl":"http://www.dblp.org/rec/bibtex/journals/fmsd/SankaranarayananSM08","url":"http://dx.doi.org/10.1007/s10703-007-0046-1","journal":"Formal Methods in System Design (FMSD)","pages":"25-55","number":"1","volume":"32","text":"Formal Methods in System Design (FMSD) 32(1):25-55 (2008)","bibtex":"@article{ dblp3183529,\n title = {Constructing invariants for hybrid systems},\n author = {Sriram Sankaranarayanan and Henny B. Sipma and Zohar Manna},\n author_short = {Sankaranarayanan, S. and Sipma, H. B. and Manna, Z.},\n bibtype = {article},\n type = {article},\n year = {2008},\n key = {dblp3183529},\n id = {dblp3183529},\n biburl = {http://www.dblp.org/rec/bibtex/journals/fmsd/SankaranarayananSM08},\n url = {http://dx.doi.org/10.1007/s10703-007-0046-1},\n journal = {Formal Methods in System Design (FMSD)},\n pages = {25-55},\n number = {1},\n volume = {32},\n text = {Formal Methods in System Design (FMSD) 32(1):25-55 (2008)}\n}","bibbaseid":"sankaranarayanan-sipma-manna-constructinginvariantsforhybridsystems-2008","role":"author","urls":{"Paper":"http://dx.doi.org/10.1007/s10703-007-0046-1"},"downloads":0},"search_terms":["constructing","invariants","hybrid","systems","sankaranarayanan","sipma","manna"],"keywords":[],"authorIDs":[],"dataSources":["wfwsiGHp48mTWicLm"]}