%0 Conference Paper %1 conf/emsoft/HenzingerHK01 %A Henzinger, Thomas A. %A Horowitz, Benjamin %A Kirsch, Christoph M. %B EMSOFT %D 2001 %E Henzinger, Thomas A. %E Kirsch, Christoph M. %I Springer %K dblp %P 166-184 %T Giotto: A Time-Triggered Language for Embedded Programming. %U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2001.html#HenzingerHK01 %V 2211 %@ 3-540-42673-6

@inproceedings{conf/emsoft/HenzingerHK01, added-at = {2017-05-24T00:00:00.000+0200}, author = {Henzinger, Thomas A. and Horowitz, Benjamin and Kirsch, Christoph M.}, biburl = {https://www.bibsonomy.org/bibtex/2467985ab8fcf67ad4a6cefe18256fbb7/dblp}, booktitle = {EMSOFT}, crossref = {conf/emsoft/2001}, editor = {Henzinger, Thomas A. and Kirsch, Christoph M.}, ee = {https://doi.org/10.1007/3-540-45449-7_12}, interhash = {a0104982592948fcf492a8674fd49407}, intrahash = {467985ab8fcf67ad4a6cefe18256fbb7}, isbn = {3-540-42673-6}, keywords = {dblp}, pages = {166-184}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T19:42:40.000+0200}, title = {Giotto: A Time-Triggered Language for Embedded Programming.}, url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2001.html#HenzingerHK01}, volume = 2211, year = 2001 }