Susanne Graf, Roberto Passerone, Sophie Quinton. Contract-Based Reasoning for Component Systems with Rich Interactions. In Alberto L. Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel, editors, Embedded Systems Development, From Functional Models to Implementations. pages 139-154, Springer, 2014. [doi]
@incollection{0002PQ14,
title = {Contract-Based Reasoning for Component Systems with Rich Interactions},
author = {Susanne Graf and Roberto Passerone and Sophie Quinton},
year = {2014},
doi = {10.1007/978-1-4614-3879-3_8},
url = {http://dx.doi.org/10.1007/978-1-4614-3879-3_8},
researchr = {https://researchr.org/publication/0002PQ14},
cites = {0},
citedby = {0},
pages = {139-154},
booktitle = {Embedded Systems Development, From Functional Models to Implementations},
editor = {Alberto L. Sangiovanni-Vincentelli and Haibo Zeng and Marco Di Natale and Peter Marwedel},
publisher = {Springer},
isbn = {978-1-4614-3879-3},
}