NuSMV Model Verification of an Airport Traffic Control System with Deontic Rules.

Pawel Gluchowski

Browse the full DEPCoS paper archive.