A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures

@inproceedings{Grun2014,
  address = {Vienna, Austria},
  archiveprefix = {arXiv},
  author = {Grun, C. and Sarma, K. and Wolfe, B. and Shin, S. W. and Winfree, E.},
  booktitle = {Verification of Engineered Molecular Devices and Programs},
  eprint = {1505.03738},
  month = jul,
  pages = {38--66},
  title = {{A domain-level DNA strand displacement reaction enumerator allowing arbitrary non-pseudoknotted secondary structures}},
  year = {2014},
}