Return to Article Details
Formal Specification and Verification of a Coordination Protocol for an Automated Air Traffic Control System
Download
Download PDF