id: 70237362
dt: a
an: 70237362
au: Ledru, Yves; Laleau, Régine; Lemoine, Michel; Vignes, Sylvie; Bert,
    Didier; Donzeau-Gouge, Véronique; Dubois, Catherine; Peureux, Fabien
ti: An attempt to combine UML and formal methods to model airport security
so: CAiSE Forum (2006).
py: 2006
pu: 
la: EN
cc: 
ut: 
ci: 
li: http://www.ceur-ws.org/Vol-231/Paper11.pdf