%0 Conference Paper %1 conf/birthday/IncerBSS22 %A Incer, Inigo %A Benveniste, Albert %A Sangiovanni-Vincentelli, Alberto L. %A Seshia, Sanjit A. %B Principles of Systems Design %D 2022 %E Raskin, Jean-François %E Chatterjee, Krishnendu %E Doyen, Laurent %E Majumdar, Rupak %I Springer %K dblp %P 477-493 %T From Interface Automata to Hypercontracts. %U http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#IncerBSS22 %V 13660 %@ 978-3-031-22337-2

@inproceedings{conf/birthday/IncerBSS22, added-at = {2023-01-06T00:00:00.000+0100}, author = {Incer, Inigo and Benveniste, Albert and Sangiovanni-Vincentelli, Alberto L. and Seshia, Sanjit A.}, biburl = {https://www.bibsonomy.org/bibtex/2707b96e6ad03b318942b252178763028/dblp}, booktitle = {Principles of Systems Design}, crossref = {conf/birthday/2022henzinger}, editor = {Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak}, ee = {https://doi.org/10.1007/978-3-031-22337-2_23}, interhash = {5b964c8886162790032cf7f1350d9d47}, intrahash = {707b96e6ad03b318942b252178763028}, isbn = {978-3-031-22337-2}, keywords = {dblp}, pages = {477-493}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T14:05:49.000+0200}, title = {From Interface Automata to Hypercontracts.}, url = {http://dblp.uni-trier.de/db/conf/birthday/henzinger2022.html#IncerBSS22}, volume = 13660, year = 2022 }