Christian von Essen, Dimitra Giannakopoulou. Probabilistic verification and synthesis of the next generation airborne collision avoidance system. STTT, 18(2):227-243, 2016. [doi]
@article{EssenG16, title = {Probabilistic verification and synthesis of the next generation airborne collision avoidance system}, author = {Christian von Essen and Dimitra Giannakopoulou}, year = {2016}, doi = {10.1007/s10009-015-0388-8}, url = {http://dx.doi.org/10.1007/s10009-015-0388-8}, researchr = {https://researchr.org/publication/EssenG16}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {18}, number = {2}, pages = {227-243}, }