Browse by all authors Browse By Author Name - Eder,+Sebastian

Browse Results (1 results found)

Subscribe to the RSS feed for this result setSubscribe to the RSS feed for this result set

  Abstract Views File Downloads Thomson Reuters Web of Science Citation Count Scopus Citation Count Altmetric Score
Eder, Sebastian and Smith, Graeme (2010). An approach to formal verification of free-flight separation. In: Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems 2010, Budapest, Hungary, (166-171). 27-28 September, 2010. doi:10.1109/SASOW.2010.35 55 7 Cited 0 times in Scopus0 0