%0 Conference Paper %1 conf/dna/BadeltSJDTW17 %A Badelt, Stefan %A Shin, Seung Woo %A Johnson, Robert F. %A Dong, Qing %A Thachuk, Chris %A Winfree, Erik %B DNA %D 2017 %E Brijder, Robert %E Qian, Lulu %I Springer %K dblp %P 232-248 %T A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities. %U http://dblp.uni-trier.de/db/conf/dna/dna2017.html#BadeltSJDTW17 %V 10467 %@ 978-3-319-66799-7

@inproceedings{conf/dna/BadeltSJDTW17, added-at = {2021-07-25T00:00:00.000+0200}, author = {Badelt, Stefan and Shin, Seung Woo and Johnson, Robert F. and Dong, Qing and Thachuk, Chris and Winfree, Erik}, biburl = {https://www.bibsonomy.org/bibtex/260167ce91f806115f9dab634cc33c628/dblp}, booktitle = {DNA}, crossref = {conf/dna/2017}, editor = {Brijder, Robert and Qian, Lulu}, ee = {https://doi.org/10.1007/978-3-319-66799-7_15}, interhash = {cc26ec6841402275aeb302a3d2e9142b}, intrahash = {60167ce91f806115f9dab634cc33c628}, isbn = {978-3-319-66799-7}, keywords = {dblp}, pages = {232-248}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T15:51:23.000+0200}, title = {A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization, and Simulation Capabilities.}, url = {http://dblp.uni-trier.de/db/conf/dna/dna2017.html#BadeltSJDTW17}, volume = 10467, year = 2017 }