%0 Journal Article %1 journals/sttt/BakBBJNS19 %A Bak, Stanley %A Beg, Omar Ali %A Bogomolov, Sergiy %A Johnson, Taylor T. %A Nguyen, Luan Viet %A Schilling, Christian %D 2019 %J STTT %K dblp %N 1 %P 87-104 %T Hybrid automata: from verification to implementation. %U http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BakBBJNS19 %V 21

@article{journals/sttt/BakBBJNS19, added-at = {2020-01-04T00:00:00.000+0100}, author = {Bak, Stanley and Beg, Omar Ali and Bogomolov, Sergiy and Johnson, Taylor T. and Nguyen, Luan Viet and Schilling, Christian}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2081a43b76e2fa15b368ba58e25fdbf32/dblp}, ee = {https://www.wikidata.org/entity/Q62037204}, interhash = {1334c8abfa0d1028fd5aac7a483a34b3}, intrahash = {081a43b76e2fa15b368ba58e25fdbf32}, journal = {STTT}, keywords = {dblp}, number = 1, pages = {87-104}, timestamp = {2020-01-09T07:41:02.000+0100}, title = {Hybrid automata: from verification to implementation.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt21.html#BakBBJNS19}, volume = 21, year = 2019 }