Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/emsoft/KirschSHP02
%A Kirsch, Christoph M.
%A Sanvido, Marco A. A.
%A Henzinger, Thomas A.
%A Pree, Wolfgang
%B EMSOFT
%D 2002
%E Sangiovanni-Vincentelli, Alberto L.
%E Sifakis, Joseph
%I Springer
%K dblp
%P 46-60
%T A Giotto-Based Helicopter Control System.
%U http://dblp.uni-trier.de/db/conf/emsoft/emsoft2002.html#KirschSHP02
%V 2491
%@ 3-540-44307-X
@inproceedings{conf/emsoft/KirschSHP02,
added-at = {2017-05-24T00:00:00.000+0200},
author = {Kirsch, Christoph M. and Sanvido, Marco A. A. and Henzinger, Thomas A. and Pree, Wolfgang},
biburl = {https://www.bibsonomy.org/bibtex/20d8b74cd415da970725b9930c8675e6e/dblp},
booktitle = {EMSOFT},
crossref = {conf/emsoft/2002},
editor = {Sangiovanni-Vincentelli, Alberto L. and Sifakis, Joseph},
ee = {https://doi.org/10.1007/3-540-45828-X_5},
interhash = {ca9d6bb28b15b6cf74d1f092b5b6797a},
intrahash = {0d8b74cd415da970725b9930c8675e6e},
isbn = {3-540-44307-X},
keywords = {dblp},
pages = {46-60},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:42:47.000+0200},
title = {A Giotto-Based Helicopter Control System.},
url = {http://dblp.uni-trier.de/db/conf/emsoft/emsoft2002.html#KirschSHP02},
volume = 2491,
year = 2002
}