%0 Conference Paper %1 conf/eucc/BesselinkJS19 %A Besselink, Bart %A Johansson, Karl Henrik %A van der Schaft, Arjan %B ECC %D 2019 %I IEEE %K dblp %P 263-268 %T Contracts as specifications for dynamical systems in driving variable form. %U http://dblp.uni-trier.de/db/conf/eucc/eucc2019.html#BesselinkJS19 %@ 978-3-907144-00-8

@inproceedings{conf/eucc/BesselinkJS19, added-at = {2020-12-29T00:00:00.000+0100}, author = {Besselink, Bart and Johansson, Karl Henrik and van der Schaft, Arjan}, biburl = {https://www.bibsonomy.org/bibtex/2855c148b3d5acc1b3faf2626d6230ce9/dblp}, booktitle = {ECC}, crossref = {conf/eucc/2019}, ee = {https://doi.org/10.23919/ECC.2019.8795736}, interhash = {c8f7e7e11f0a90984fdae2f089f07fe6}, intrahash = {855c148b3d5acc1b3faf2626d6230ce9}, isbn = {978-3-907144-00-8}, keywords = {dblp}, pages = {263-268}, publisher = {IEEE}, timestamp = {2024-04-09T14:16:36.000+0200}, title = {Contracts as specifications for dynamical systems in driving variable form.}, url = {http://dblp.uni-trier.de/db/conf/eucc/eucc2019.html#BesselinkJS19}, year = 2019 }