BertBLV06'

BibTeX

@inproceedings{DBLP:conf/caise/BertBLV06,
  author    = {Didier Bert and
               Fabrice Bouquet and
               Yves Ledru and
               Sylvie Vignes},
  title     = {Validation of Regulation Documents by Automated Analysis
               of Formal Models},
  booktitle = {ReMo2V},
  year      = {2006},
  ee        = {http://ceur-ws.org/Vol-241/paper3.pdf},
  crossref  = {DBLP:conf/caise/2006remo2v},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/caise/2006remo2v,
  editor    = {R{\'e}gine Laleau and
               Michel Lemoine},
  title     = {Proceedings of the CAISE*06 Workshop on Regulations Modelling
               and their Validation and Verification ReMo2V '06, Luxemburg,
               June 5-9, 2006},
  booktitle = {ReMo2V},
  publisher = {CEUR-WS.org},
  series    = {CEUR Workshop Proceedings},
  volume    = {241},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}