BibTeX record conf/dna/BadeltSJDTW17

• > Home > conf/dna/BadeltSJDTW17

@inproceedings{DBLP:conf/dna/BadeltSJDTW17,
  author       = {Stefan Badelt and
                  Seung Woo Shin and
                  Robert F. Johnson and
                  Qing Dong and
                  Chris Thachuk and
                  Erik Winfree},
  editor       = {Robert Brijder and
                  Lulu Qian},
  title        = {A General-Purpose CRN-to-DSD Compiler with Formal Verification, Optimization,
                  and Simulation Capabilities},
  booktitle    = {{DNA} Computing and Molecular Programming - 23rd International Conference,
                  {DNA} 23, Austin, TX, USA, September 24-28, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10467},
  pages        = {232--248},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66799-7\_15},
  doi          = {10.1007/978-3-319-66799-7\_15},
  timestamp    = {Sun, 25 Jul 2021 11:43:48 +0200},
  biburl       = {https://dblp.org/rec/conf/dna/BadeltSJDTW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}