%0 Conference Paper %1 conf/fm/PlatzerC09 %A Platzer, André %A Clarke, Edmund M. %B FM %D 2009 %E Cavalcanti, Ana %E Dams, Dennis %I Springer %K %P 547-562 %T Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study. %U http://dblp.uni-trier.de/db/conf/fm/fm2009.html#PlatzerC09 %V 5850 %@ 978-3-642-05088-6

@inproceedings{conf/fm/PlatzerC09, added-at = {2023-12-12T23:54:27.000+0100}, author = {Platzer, André and Clarke, Edmund M.}, biburl = {https://www.bibsonomy.org/bibtex/26dd967e836f6e6dff68d59e87a497de5/admin}, booktitle = {FM}, crossref = {conf/fm/2009}, editor = {Cavalcanti, Ana and Dams, Dennis}, ee = {https://doi.org/10.1007/978-3-642-05089-3_35}, interhash = {5c04089a8b47e7330fa630b404178bc3}, intrahash = {6dd967e836f6e6dff68d59e87a497de5}, isbn = {978-3-642-05088-6}, keywords = {}, pages = {547-562}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T23:54:27.000+0100}, title = {Formal Verification of Curved Flight Collision Avoidance Maneuvers: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/fm/fm2009.html#PlatzerC09}, volume = 5850, year = 2009 }