[DEV06a] Reasoning about Airport Security Regulations using the Focal Environment

Conférence Internationale avec comité de lecture : ISoLA, Paphos (Cyprus), January 2006, pp.36-44,

Auteurs: D. Delahaye , J. Etienne , V. Viguie Donzeau-Gouge

motcle:

Equipe: sys

BibTeX

@inproceedings {
	DEV06a,
	title	=	"{Reasoning about Airport Security Regulations using the Focal Environment}",
	author	=	" D. Delahaye and J. Etienne and V. Viguie Donzeau-Gouge ",
	booktitle	=	"{ISoLA, Paphos (Cyprus)}",
	year	=	2006,
	month	=	"January",
	pages	=	"36-44",
}