%0 Conference Paper %1 conf/icfem/LiuFZG13 %A Liu, Dongxi %A Fulton, Neale Leslie %A Zic, John %A de Groot, Martin %B ICFEM %D 2013 %E Groves, Lindsay %E Sun, Jing %I Springer %K dblp %P 86-101 %T Verifying an Aircraft Proximity Characterization Method in Coq. %U http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#LiuFZG13 %V 8144 %@ 978-3-642-41201-1

@inproceedings{conf/icfem/LiuFZG13, added-at = {2023-09-01T00:00:00.000+0200}, author = {Liu, Dongxi and Fulton, Neale Leslie and Zic, John and de Groot, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2200f0d9c8cc67bb657162b36fee7f6b6/dblp}, booktitle = {ICFEM}, crossref = {conf/icfem/2013}, editor = {Groves, Lindsay and Sun, Jing}, ee = {https://doi.org/10.1007/978-3-642-41202-8_7}, interhash = {3ffda2b27a1dab560ab86949f5d545cc}, intrahash = {200f0d9c8cc67bb657162b36fee7f6b6}, isbn = {978-3-642-41201-1}, keywords = {dblp}, pages = {86-101}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T18:16:08.000+0200}, title = {Verifying an Aircraft Proximity Characterization Method in Coq.}, url = {http://dblp.uni-trier.de/db/conf/icfem/icfem2013.html#LiuFZG13}, volume = 8144, year = 2013 }