%0 Conference Paper %1 conf/birthday/NuzzoS18 %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %B Principles of Modeling %D 2018 %E Lohstroh, Marten %E Derler, Patricia %E Sirjani, Marjan %I Springer %K %P 360-382 %T Hierarchical System Design with Vertical Contracts. %U http://dblp.uni-trier.de/db/conf/birthday/Lee2018.html#NuzzoS18 %V 10760 %@ 978-3-319-95246-8

@inproceedings{conf/birthday/NuzzoS18, added-at = {2023-12-14T14:26:04.000+0100}, author = {Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L.}, biburl = {https://www.bibsonomy.org/bibtex/25920f24b6d721013939bb954f247727a/admin}, booktitle = {Principles of Modeling}, crossref = {conf/birthday/2018lee}, editor = {Lohstroh, Marten and Derler, Patricia and Sirjani, Marjan}, ee = {https://doi.org/10.1007/978-3-319-95246-8_22}, interhash = {df9ca78e6e98af2affab1c23c9dd48a8}, intrahash = {5920f24b6d721013939bb954f247727a}, isbn = {978-3-319-95246-8}, keywords = {}, pages = {360-382}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-14T14:26:04.000+0100}, title = {Hierarchical System Design with Vertical Contracts.}, url = {http://dblp.uni-trier.de/db/conf/birthday/Lee2018.html#NuzzoS18}, volume = 10760, year = 2018 }