%0 Conference Paper %1 conf/hybrid/KimAS17 %A Kim, Eric S. %A Arcak, Murat %A Seshia, Sanjit A. %B HSCC %D 2017 %E Frehse, Goran %E Mitra, Sayan %I ACM %K dblp %P 207-216 %T A Small Gain Theorem for Parametric Assume-Guarantee Contracts. %U http://dblp.uni-trier.de/db/conf/hybrid/hscc2017.html#KimAS17 %@ 978-1-4503-4590-3

@inproceedings{conf/hybrid/KimAS17, added-at = {2020-12-29T00:00:00.000+0100}, author = {Kim, Eric S. and Arcak, Murat and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2ae968c0cda7ad6468a196d3839f26afe/dblp}, booktitle = {HSCC}, crossref = {conf/hybrid/2017}, editor = {Frehse, Goran and Mitra, Sayan}, ee = {https://doi.org/10.1145/3049797.3049805}, interhash = {e5c91693cdc95444c3084b3fa5f7e3de}, intrahash = {ae968c0cda7ad6468a196d3839f26afe}, isbn = {978-1-4503-4590-3}, keywords = {dblp}, pages = {207-216}, publisher = {ACM}, timestamp = {2024-04-10T10:15:45.000+0200}, title = {A Small Gain Theorem for Parametric Assume-Guarantee Contracts.}, url = {http://dblp.uni-trier.de/db/conf/hybrid/hscc2017.html#KimAS17}, year = 2017 }