@inproceedings{d047f70eb5984929ac7f01ea4268f71b,
title = "Verified interval orbit propagation in satellite collision avoidance",
keywords = "conference contrib. refereed, Conf.proc. > 3 pag",
author = "E Mooij",
year = "2011",
language = "English",
isbn = "0731-5090",
publisher = "American Institute of Aeronautics and Astronautics Inc. (AIAA)",
pages = "26--47",
editor = "PP Friedmann and GT Schmidt",
booktitle = "Proceedings of the AIAA Guidance, Navigation and Control Conference",
address = "United States",
note = "AIAA Guidance, Navigation and Control Conference 2011 ; Conference date: 08-08-2011 Through 11-08-2011",
}