Sebastian Eder, Graeme Smith. An Approach to Formal Verification of Free-Flight Separation. In Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2010, Budapest, Hungary, 27-28 September 2010, Workshops Proceedings. pages 166-171, IEEE Computer Society, 2010. [doi]
Abstract is missing.