Eric S. Kim, Murat Arcak, Sanjit A. Seshia. A Small Gain Theorem for Parametric Assume-Guarantee Contracts. In Goran Frehse, Sayan Mitra, editors, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017. pages 207-216, ACM, 2017. [doi]
@inproceedings{KimAS17,
title = {A Small Gain Theorem for Parametric Assume-Guarantee Contracts},
author = {Eric S. Kim and Murat Arcak and Sanjit A. Seshia},
year = {2017},
doi = {10.1145/3049797.3049805},
url = {http://doi.acm.org/10.1145/3049797.3049805},
researchr = {https://researchr.org/publication/KimAS17},
cites = {0},
citedby = {0},
pages = {207-216},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017},
editor = {Goran Frehse and Sayan Mitra},
publisher = {ACM},
isbn = {978-1-4503-4590-3},
}