Vol-2203⫷ Vol-2204 ⫸Vol-2205
urn:nbn:de:0074-2204-0


Vol-2204/paper8⫷Vol-2204/paper9⫸Vol-2204/paper10

Formalizing Air Traffic Control Regulations in PSOA RuleML