VanthienenMG06'

@inproceedings{DBLP:conf/caise/VanthienenMG06,
  author    = {Jan Vanthienen and
               Christophe Mues and
               Stijn Goedertier},
  title     = {Experiences with Modeling and Verification of Regulations},
  booktitle = {ReMo2V},
  year      = {2006},
  ee        = {http://ceur-ws.org/Vol-241/paper2.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}
}