cvb.authors: Didier Bert,Fabrice,Yves Ledru,Sylvie Vignes
cvb.fail: null
cvb.id: Vol-241/paper-3
cvb.pages: null
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: paper3.pdf
cvb.position: null
cvb.title: Validation of Regulation Documents by Automated Analysis of Formal Models
cvb.type: null
cvb.vol_number: '241'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/l/YvesLedru
  gnd_id: null
  label: Yves Ledru
  orcid_id: 0000-0002-0632-030X
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/23/2889
  gnd_id: null
  label: Fabrice Bouquet
  orcid_id: 0000-0001-9181-1172
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/49/6407
  gnd_id: null
  label: Sylvie Vignes
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/55/5578
  gnd_id: null
  label: Didier Bert
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/caise/2006remo2v
dblp.dblp_publication_id: https://dblp.org/rec/conf/caise/BertBLV06
dblp.pdf_id: Vol-241/paper3
dblp.title: Validation of Regulation Documents by Automated Analysis of Formal Models.
dblp.volume_number: 241
spt.description: null
spt.html_url: /Vol-241/paper-3.html
spt.id: Vol-241/paper-3
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-241/paper3.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Validation of Regulation Documents by Automated Analysis of Formal Models
spt.volume:
  acronym: REMO2V '06 AN INTERNATIONAL WORKSHOP ON REGULATIONS MODELLING AND THEIR
    VALIDATION AND VERIFICATION
  date: '2007-07-12'
  dblp: conf/caise/2006remo2v
  description: Proceedings of REMO2V '06 workshop
  k10plus: null
  number: 241
  title: REMO2V '06 AN INTERNATIONAL WORKSHOP ON REGULATIONS MODELLING AND THEIR VALIDATION
    AND VERIFICATION
  url: http://ceur-ws.org/Vol-241/
  urn: urn:nbn:de:0074-241-4
  wikidataid: Q113545969
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
