{"version.version":"0.0.7","version.cm_url":"https://github.com/ceurws/ceur-spt","spt.html_url":"/None.html","spt.description":null,"spt.id":null,"spt.wikidataid":null,"spt.title":"A Tool for the Synthesis of Asynchronous Speed-Independent Circuits","spt.pdfUrl":"https://ceur-ws.org/Vol-827/16_OndrejGallo_article.pdf","spt.volume":{"number":827,"acronym":"RAPNeC-2010","wikidataid":"Q113547266","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)","description":"Proceedings of RAPNeC-2010 workshop","url":"http://ceur-ws.org/Vol-827/","date":"2012-01-26","dblp":"conf/acsd/2010w","k10plus":null,"urn":"urn:nbn:de:0074-827-8"},"spt.session":null,"cvb.id":null,"cvb.title":"A Tool for the Synthesis of Asynchronous Speed-Independent Circuits","cvb.type":null,"cvb.position":null,"cvb.pagesFrom":null,"cvb.pagesTo":null,"cvb.authors":"","cvb.vol_number":"827","cvb.pdf_name":"16_OndrejGallo_article.pdf","cvb.pages":"207-211","cvb.fail":null,"dblp.dblp_publication_id":"https://dblp.org/rec/conf/acsd/GalloNL10","dblp.dblp_proceeding_id":"https://dblp.org/rec/conf/acsd/2010w","dblp.volume_number":827,"dblp.title":"A Tool for the Synthesis of Asynchronous Speed-Independent Circuits.","dblp.authors":[{"dblp_author_id":"https://dblp.org/pid/13/10894","label":"Tomás Necas","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/31/1643","label":"Fedor Lehocki","wikidata_id":null,"orcid_id":null,"gnd_id":null},{"dblp_author_id":"https://dblp.org/pid/61/10894","label":"Ondrej Gallo","wikidata_id":null,"orcid_id":null,"gnd_id":null}],"dblp.pdf_id":"Vol-827/16_OndrejGallo_article"}