dblp.uni-trier.dewww.uni-trier.de

DBLP Record 'conf/caise/LedruLLVBDDP06'

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)