%0 Conference Paper %1 inproceedings %A Platzer, André %D 2019 %K autonomous %T The Logical Path to Autonomous Cyber-Physical Systems

@inproceedings{inproceedings, added-at = {2019-11-27T21:45:37.000+0100}, author = {Platzer, André}, biburl = {https://www.bibsonomy.org/bibtex/2e4ff489bb4323997f94c72d500790a45/rpennec}, interhash = {92c627bbb8034c7f093b768acb188bd8}, intrahash = {e4ff489bb4323997f94c72d500790a45}, keywords = {autonomous}, month = {09}, timestamp = {2019-12-04T07:59:16.000+0100}, title = {The Logical Path to Autonomous Cyber-Physical Systems}, year = 2019 }