%0 Conference Paper %1 conf/itp/KouskoulasGSJ17 %A Kouskoulas, Yanni %A Genin, Daniel %A Schmidt, Aurora C. %A Jeannin, Jean-Baptiste %B ITP %D 2017 %E Ayala-Rincón, Mauricio %E Muñoz, César A. %I Springer %K dblp %P 336-353 %T Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics. %U http://dblp.uni-trier.de/db/conf/itp/itp2017.html#KouskoulasGSJ17 %V 10499 %@ 978-3-319-66107-0

@inproceedings{conf/itp/KouskoulasGSJ17, added-at = {2022-02-25T00:00:00.000+0100}, author = {Kouskoulas, Yanni and Genin, Daniel and Schmidt, Aurora C. and Jeannin, Jean-Baptiste}, biburl = {https://www.bibsonomy.org/bibtex/21b42c61777490e372962f2e1fad651ce/dblp}, booktitle = {ITP}, crossref = {conf/itp/2017}, editor = {Ayala-Rincón, Mauricio and Muñoz, César A.}, ee = {https://doi.org/10.1007/978-3-319-66107-0_22}, interhash = {76bc69feb269065445da38b9f1683ba1}, intrahash = {1b42c61777490e372962f2e1fad651ce}, isbn = {978-3-319-66107-0}, keywords = {dblp}, pages = {336-353}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:10:22.000+0200}, title = {Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2017.html#KouskoulasGSJ17}, volume = 10499, year = 2017 }