BibTeX
@inproceedings{DBLP:conf/caise/LedruLLVBDDP06,
author = {Yves Ledru and
R{\'e}gine Laleau and
Michel Lemoine and
Sylvie Vignes and
Didier Bert and
V{\'e}ronique Donzeau-Gouge and
Catherine Dubois and
Fabien Peureux},
title = {An attempt to combine UML and formal methods to model airport
security},
booktitle = {CAiSE Forum},
year = {2006},
ee = {http://www.ceur-ws.org/Vol-231/Paper11.pdf},
crossref = {DBLP:conf/caise/2006fo},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/caise/2006fo,
editor = {Nacer Boudjlida and
Dong Cheng and
Nicolas Guelfi},
title = {The 18th Conference on Advanced Information Systems Engineering
(CAiSE '06), Forum Proceedings, Theme: Trusted Information
Systems, Luxembourg, June 5-9, 2006},
booktitle = {CAiSE Forum},
publisher = {CEUR-WS.org},
series = {CEUR Workshop Proceedings},
volume = {231},
year = {2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2007-10-31 by Michael Ley (ley@uni-trier.de)