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/itaero/NeogiH12
%A Neogi, Natasha A.
%A Herencia-Zapana, Heber
%B Infotech@Aerospace
%D 2012
%K dblp
%T Modular Methods for Verification and Validation of Air Traffic Control Algorithms.
%U http://dblp.uni-trier.de/db/conf/itaero/itaero2012.html#NeogiH12
%@ 978-1-60086-939-6
@inproceedings{conf/itaero/NeogiH12,
added-at = {2017-05-05T00:00:00.000+0200},
author = {Neogi, Natasha A. and Herencia-Zapana, Heber},
biburl = {https://www.bibsonomy.org/bibtex/2a3b1461b6966928cea098a816ad00672/dblp},
booktitle = {Infotech@Aerospace},
crossref = {conf/itaero/2012},
ee = {https://doi.org/10.2514/6.2012-2470},
interhash = {89bc0ce2149182d5aadd6708d75d76fa},
intrahash = {a3b1461b6966928cea098a816ad00672},
isbn = {978-1-60086-939-6},
keywords = {dblp},
timestamp = {2017-05-06T11:37:33.000+0200},
title = {Modular Methods for Verification and Validation of Air Traffic Control Algorithms.},
url = {http://dblp.uni-trier.de/db/conf/itaero/itaero2012.html#NeogiH12},
year = 2012
}