Modeling Airport Security Regulations in Focal.

David Delahaye, Jean-Frdric tienne, Vronique Donzeau-Gouge

Browse the full CaiSE paper archive.