Inproceedings,
Embedded Control Systems Development with Giotto.
T. Henzinger, B. Horowitz, and C. Kirsch.OM@PLDI, page 64-72. ACM, (2001)
Meta data
- BibTeX key
- conf/pldi/HenzingerHK01
- entry type
- inproceedings
- booktitle
- OM@PLDI
- year
- 2001
- pages
- 64-72
- publisher
- ACM
- crossref
- conf/pldi/2001om
- ee
- https://doi.org/10.1145/384198.384208
- url
- http://dblp.uni-trier.de/db/conf/pldi/om2001.html#HenzingerHK01
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/pldi/HenzingerHK01
%A Henzinger, Thomas A.
%A Horowitz, Benjamin
%A Kirsch, Christoph Meyer
%B OM@PLDI
%D 2001
%E Bodík, Rastislav
%E Sreedhar, Vugranam C.
%I ACM
%K dblp
%P 64-72
%T Embedded Control Systems Development with Giotto.
%U http://dblp.uni-trier.de/db/conf/pldi/om2001.html#HenzingerHK01
@inproceedings{conf/pldi/HenzingerHK01,
added-at = {2022-01-12T00:00:00.000+0100},
author = {Henzinger, Thomas A. and Horowitz, Benjamin and Kirsch, Christoph Meyer},
biburl = {https://www.bibsonomy.org/bibtex/277bb3d7040578f1ec96c194db2e02ec3/dblp},
booktitle = {OM@PLDI},
crossref = {conf/pldi/2001om},
editor = {Bodík, Rastislav and Sreedhar, Vugranam C.},
ee = {https://doi.org/10.1145/384198.384208},
interhash = {bd49c4e91e81f15b82ba102c0c283dfb},
intrahash = {77bb3d7040578f1ec96c194db2e02ec3},
keywords = {dblp},
pages = {64-72},
publisher = {ACM},
timestamp = {2024-04-09T18:59:04.000+0200},
title = {Embedded Control Systems Development with Giotto.},
url = {http://dblp.uni-trier.de/db/conf/pldi/om2001.html#HenzingerHK01},
year = 2001
}