%0 Journal Article %1 journals/deds/MartinE12 %A Martin, Patrick %A Egerstedt, Magnus %D 2012 %J Discret. Event Dyn. Syst. %K dblp %N 1 %P 101-119 %T Hybrid systems tools for compiling controllers for cyber-physical systems. %U http://dblp.uni-trier.de/db/journals/deds/deds22.html#MartinE12 %V 22

@article{journals/deds/MartinE12, added-at = {2021-10-14T00:00:00.000+0200}, author = {Martin, Patrick and Egerstedt, Magnus}, biburl = {https://www.bibsonomy.org/bibtex/231bdd59c8c6f9d498f3a84657481df12/dblp}, ee = {https://doi.org/10.1007/s10626-011-0117-8}, interhash = {fb24b597219c443a2f1da7a44bf17456}, intrahash = {31bdd59c8c6f9d498f3a84657481df12}, journal = {Discret. Event Dyn. Syst.}, keywords = {dblp}, number = 1, pages = {101-119}, timestamp = {2024-04-08T10:17:14.000+0200}, title = {Hybrid systems tools for compiling controllers for cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/journals/deds/deds22.html#MartinE12}, volume = 22, year = 2012 }