@inproceedings{henzinger_giotto:_2001,
	title = {Giotto: {A} time-triggered language for embedded programming},
	booktitle = {International {Workshop} on {Embedded} {Software}},
	publisher = {Springer},
	author = {Henzinger, Thomas A and Horowitz, Benjamin and Kirsch, Christoph Meyer},
	year = {2001},
	pages = {166--184}
}

{"_id":"3XnLbtSDnD2S9FcEy","bibbaseid":"henzinger-horowitz-kirsch-giottoatimetriggeredlanguageforembeddedprogramming-2001","authorIDs":[],"author_short":["Henzinger, T. A","Horowitz, B.","Kirsch, C. M."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Giotto: A time-triggered language for embedded programming","booktitle":"International Workshop on Embedded Software","publisher":"Springer","author":[{"propositions":[],"lastnames":["Henzinger"],"firstnames":["Thomas","A"],"suffixes":[]},{"propositions":[],"lastnames":["Horowitz"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Kirsch"],"firstnames":["Christoph","Meyer"],"suffixes":[]}],"year":"2001","pages":"166–184","bibtex":"@inproceedings{henzinger_giotto:_2001,\n\ttitle = {Giotto: {A} time-triggered language for embedded programming},\n\tbooktitle = {International {Workshop} on {Embedded} {Software}},\n\tpublisher = {Springer},\n\tauthor = {Henzinger, Thomas A and Horowitz, Benjamin and Kirsch, Christoph Meyer},\n\tyear = {2001},\n\tpages = {166--184}\n}\n\n","author_short":["Henzinger, T. A","Horowitz, B.","Kirsch, C. M."],"key":"henzinger_giotto:_2001","id":"henzinger_giotto:_2001","bibbaseid":"henzinger-horowitz-kirsch-giottoatimetriggeredlanguageforembeddedprogramming-2001","role":"author","urls":{},"downloads":0},"bibtype":"inproceedings","biburl":"https://bibbase.org/zotero/romain_jacob","creationDate":"2020-03-11T17:05:50.364Z","downloads":0,"keywords":[],"search_terms":["giotto","time","triggered","language","embedded","programming","henzinger","horowitz","kirsch"],"title":"Giotto: A time-triggered language for embedded programming","year":2001,"dataSources":["GSdyza34Yogv8tQFT"]}