%0 Journal Article %1 journals/corr/abs-2012-12657 %A Sharf, Miel %A Besselink, Bart %A Molin, Adam %A Zhao, Qiming %A Johansson, Karl Henrik %D 2020 %J CoRR %K dblp %T Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. %U http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-12657 %V abs/2012.12657

@article{journals/corr/abs-2012-12657, added-at = {2021-01-05T00:00:00.000+0100}, author = {Sharf, Miel and Besselink, Bart and Molin, Adam and Zhao, Qiming and Johansson, Karl Henrik}, biburl = {https://www.bibsonomy.org/bibtex/2fb4c78f15317f579738298e5b560ca61/dblp}, ee = {https://arxiv.org/abs/2012.12657}, interhash = {1e24bcedc8c7bd180d7bbd8dd94eeee8}, intrahash = {fb4c78f15317f579738298e5b560ca61}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-09T00:05:47.000+0200}, title = {Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2012.html#abs-2012-12657}, volume = {abs/2012.12657}, year = 2020 }