Peter Heidlauf
According to our database1,
Peter Heidlauf
authored at least 2 papers
in 2018.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2018
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018
Verification Challenges in F-16 Ground Collision Avoidance and Other Automated Maneuvers.
Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018