Assume-guarantee reasoning for hierarchical hybrid systems. Henzinger, T. A., Minea, M., & Prabhu, V. In Int. Work. Hybrid Syst. Comput. Control, pages 275–290, 2001. Springer. bibtex @InProceedings{SCC.Henzinger.Minea.ea2001,
author = {Henzinger, Thomas A. and Minea, Marius and Prabhu, Vinayak},
title = {Assume-guarantee reasoning for hierarchical hybrid systems},
booktitle = {Int. Work. Hybrid Syst. Comput. Control},
year = {2001},
pages = {275--290},
organization = {Springer},
keywords = {DOE-BENEFIT, Assume-GuaranteeDOE-Assume-Guarantee},
}
Downloads: 0
{"_id":"9L89eECBLYaDK8zdA","bibbaseid":"henzinger-minea-prabhu-assumeguaranteereasoningforhierarchicalhybridsystems-2001","authorIDs":[],"author_short":["Henzinger, T. A.","Minea, M.","Prabhu, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A."],"suffixes":[]},{"propositions":[],"lastnames":["Minea"],"firstnames":["Marius"],"suffixes":[]},{"propositions":[],"lastnames":["Prabhu"],"firstnames":["Vinayak"],"suffixes":[]}],"title":"Assume-guarantee reasoning for hierarchical hybrid systems","booktitle":"Int. Work. Hybrid Syst. Comput. Control","year":"2001","pages":"275–290","organization":"Springer","keywords":"DOE-BENEFIT, Assume-GuaranteeDOE-Assume-Guarantee","bibtex":"@InProceedings{SCC.Henzinger.Minea.ea2001,\r\n author = {Henzinger, Thomas A. and Minea, Marius and Prabhu, Vinayak},\r\n title = {Assume-guarantee reasoning for hierarchical hybrid systems},\r\n booktitle = {Int. Work. Hybrid Syst. Comput. Control},\r\n year = {2001},\r\n pages = {275--290},\r\n organization = {Springer},\r\n keywords = {DOE-BENEFIT, Assume-GuaranteeDOE-Assume-Guarantee},\r\n}\r\n\r\n","author_short":["Henzinger, T. A.","Minea, M.","Prabhu, V."],"key":"SCC.Henzinger.Minea.ea2001","id":"SCC.Henzinger.Minea.ea2001","bibbaseid":"henzinger-minea-prabhu-assumeguaranteereasoningforhierarchicalhybridsystems-2001","role":"author","urls":{},"keyword":["DOE-BENEFIT","Assume-GuaranteeDOE-Assume-Guarantee"],"downloads":0},"bibtype":"inproceedings","biburl":"https://www.dropbox.com/s/ulqmhc6o5w2em3p/sccmaster.bib?dl=1","creationDate":"2019-05-28T23:29:27.028Z","downloads":0,"keywords":["doe-benefit","assume-guaranteedoe-assume-guarantee"],"search_terms":["assume","guarantee","reasoning","hierarchical","hybrid","systems","henzinger","minea","prabhu"],"title":"Assume-guarantee reasoning for hierarchical hybrid systems","year":2001,"dataSources":["aDrN6vnZWqY8fA7E8"]}