%0 Conference Paper %1 conf/adhs/SharfBMZJ21 %A Sharf, Miel %A Besselink, Bart %A Molin, Adam %A Zhao, Qiming %A Johansson, Karl Henrik %B ADHS %D 2021 %E Jungers, Raphaël M. %E Ozay, Necmiye %E Abate, Alessandro %I Elsevier %K dblp %N 5 %P 25-30 %T Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. %U http://dblp.uni-trier.de/db/conf/adhs/adhs2021.html#SharfBMZJ21 %V 54

@inproceedings{conf/adhs/SharfBMZJ21, added-at = {2023-06-26T00:00:00.000+0200}, author = {Sharf, Miel and Besselink, Bart and Molin, Adam and Zhao, Qiming and Johansson, Karl Henrik}, biburl = {https://www.bibsonomy.org/bibtex/22c29b73dcb743c7675f7312c32e2db0f/dblp}, booktitle = {ADHS}, crossref = {conf/adhs/2021}, editor = {Jungers, Raphaël M. and Ozay, Necmiye and Abate, Alessandro}, ee = {https://doi.org/10.1016/j.ifacol.2021.08.469}, interhash = {aef87bafda4826a98c1661a32a4d4bb9}, intrahash = {2c29b73dcb743c7675f7312c32e2db0f}, keywords = {dblp}, number = 5, pages = {25-30}, publisher = {Elsevier}, series = {IFAC-PapersOnLine}, timestamp = {2024-04-09T16:58:26.000+0200}, title = {Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.}, url = {http://dblp.uni-trier.de/db/conf/adhs/adhs2021.html#SharfBMZJ21}, volume = 54, year = 2021 }