BibTeX record conf/caise/LedruLLVBDDP06

download as .bib file

@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 = {The 18th Conference on Advanced Information Systems Engineering (CAiSE
               '06), Forum Proceedings, Theme: Trusted Information Systems, Luxembourg,
               June 5-9, 2006},
  year      = {2006},
  crossref  = {DBLP:conf/caise/2006fo},
  url       = {http://ceur-ws.org/Vol-231/Paper11.pdf},
  timestamp = {Tue, 28 May 2019 16:23:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/LedruLLVBDDP06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {231},
  publisher = {CEUR-WS.org},
  year      = {2006},
  url       = {http://ceur-ws.org/Vol-231},
  urn       = {urn:nbn:de:0074-231-1},
  timestamp = {Tue, 28 May 2019 16:23:31 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2006fo},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics