%0 Journal Article %1 journals/pieee/HenzingerHK03 %A Henzinger, Thomas A. %A Horowitz, Benjamin %A Kirsch, Christoph M. %D 2003 %J Proc. IEEE %K dblp %N 1 %P 84-99 %T Giotto: a time-triggered language for embedded programming. %U http://dblp.uni-trier.de/db/journals/pieee/pieee91.html#HenzingerHK03 %V 91

@article{journals/pieee/HenzingerHK03, added-at = {2021-10-04T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Horowitz, Benjamin and Kirsch, Christoph M.}, biburl = {https://www.bibsonomy.org/bibtex/245e71c535e5a73c678a5a443c76f0dbe/dblp}, ee = {https://doi.org/10.1109/JPROC.2002.805825}, interhash = {573c751aab8db2b1b68b2fc4b9aae14c}, intrahash = {45e71c535e5a73c678a5a443c76f0dbe}, journal = {Proc. IEEE}, keywords = {dblp}, number = 1, pages = {84-99}, timestamp = {2024-04-09T04:38:28.000+0200}, title = {Giotto: a time-triggered language for embedded programming.}, url = {http://dblp.uni-trier.de/db/journals/pieee/pieee91.html#HenzingerHK03}, volume = 91, year = 2003 }