Robert Brijder, Joris J. M. Gillis, Jan Van den Bussche. A Type System for DNAQL. In Darko Stefanovic, Andrew J. Turberfield, editors, DNA Computing and Molecular Programming - 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings. Volume 7433 of Lecture Notes in Computer Science, pages 12-24, Springer, 2012. [doi]
@inproceedings{BrijderGB12-0, title = {A Type System for DNAQL}, author = {Robert Brijder and Joris J. M. Gillis and Jan Van den Bussche}, year = {2012}, doi = {10.1007/978-3-642-32208-2_2}, url = {http://dx.doi.org/10.1007/978-3-642-32208-2_2}, researchr = {https://researchr.org/publication/BrijderGB12-0}, cites = {0}, citedby = {0}, pages = {12-24}, booktitle = {DNA Computing and Molecular Programming - 18th International Conference, DNA 18, Aarhus, Denmark, August 14-17, 2012. Proceedings}, editor = {Darko Stefanovic and Andrew J. Turberfield}, volume = {7433}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-32207-5}, }