Inproceedings,
A Giotto-Based Helicopter Control System.
C. Kirsch, M. Sanvido, T. Henzinger, and W. Pree.EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 46-60. Springer, (2002)
Meta data
- BibTeX key
- conf/emsoft/KirschSHP02
- entry type
- inproceedings
- booktitle
- EMSOFT
- year
- 2002
- pages
- 46-60
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 2491
- crossref
- conf/emsoft/2002
- ee
- https://doi.org/10.1007/3-540-45828-X_5
- isbn
- 3-540-44307-X
- url
- http://dblp.uni-trier.de/db/conf/emsoft/emsoft2002.html#KirschSHP02
Tags
Users
Comments and Reviewsshow / hide
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
}