cvb.authors: ''
cvb.fail: null
cvb.id: null
cvb.pages: 207-211
cvb.pagesFrom: null
cvb.pagesTo: null
cvb.pdf_name: 16_OndrejGallo_article.pdf
cvb.position: null
cvb.title: A Tool for the Synthesis of Asynchronous Speed-Independent Circuits
cvb.type: null
cvb.vol_number: '827'
dblp.authors:
- dblp_author_id: https://dblp.org/pid/13/10894
  gnd_id: null
  label: "Tom\xE1s Necas"
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/31/1643
  gnd_id: null
  label: Fedor Lehocki
  orcid_id: null
  wikidata_id: null
- dblp_author_id: https://dblp.org/pid/61/10894
  gnd_id: null
  label: Ondrej Gallo
  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/GalloNL10
dblp.pdf_id: Vol-827/16_OndrejGallo_article
dblp.title: A Tool for the Synthesis of Asynchronous Speed-Independent Circuits.
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/16_OndrejGallo_article.pdf
  state:
    _len: null
    _s: null
spt.session: null
spt.title: A Tool for the Synthesis of Asynchronous Speed-Independent Circuits
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
