cvb.authors: ''
cvb.fail: null
cvb.id: null
cvb.pages: 437-451
cvb.pdf_name: 33_AlexandreHamez_article.pdf
cvb.title: Specification of Decision Diagram Operations
cvb.vol_number: 827
dblp.authors:
- dblp_author_id: https://dblp.org/pid/79/371
  gnd_id: null
  label: Alexandre Hamez
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/87/6006
  gnd_id: null
  label: Alban Linard
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/28/1113
  gnd_id: null
  label: Matteo Risoldi
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/02/7915
  gnd_id: null
  label: Alexis Marechal
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/01/7915
  gnd_id: null
  label: Steve Hostettler
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/21/3939
  gnd_id: null
  label: Emmanuel Paviot-Adet
  orcid_id: null
  wikidata_id: null
dblp.dblp_proceeding_id: https://dblp.org/rec/conf/acsd/2010w
dblp.dblp_publication_id: https://dblp.org/rec/conf/acsd/HamezHLMPR10
dblp.pdf_id: Vol-827/33_AlexandreHamez_article
dblp.title: Specification of Decision Diagram Operations.
dblp.volume_number: 827
spt.description: null
spt.html_url: /None.html
spt.id: null
spt.pdfUrl: !!python/object/new:linkml_runtime.utils.metamodelcore.URI
  args:
  - https://ceur-ws.org/Vol-827/33_AlexandreHamez_article.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: Specification of Decision Diagram Operations
spt.volume:
  acronym: RAPNeC-2010
  date: '2012-01-26'
  dblp: conf/acsd/2010w
  description: Proceedings of RAPNeC-2010 workshop
  k10plus: null
  number: 827
  title: Proceedings of the Workshops of the 31st International Conference on Application
    and Theory of Petri Nets and Other Models of Concurrency (PETRI NETS 2010) and
    of the 10th International Conference on Application of Concurrency to System Design
    (ACSD 2010)
  url: http://ceur-ws.org/Vol-827/
  urn: urn:nbn:de:0074-827-8
  wikidataid: Q113547266
spt.wikidataid: null
version.cm_url: https://github.com/ceurws/ceur-spt
version.version: 0.0.7
