Modeling and verification of an air traffic concept of operations.

Csar A. Muoz, Gilles Dowek, Victor Carreo

Browse the full ISSTA paper archive.