BibTex format
@article{Kwiatkowska:2016:10.1016/j.tcs.2016.04.036,
author = {Kwiatkowska, M and Phillips, A and Thachuk, C},
doi = {10.1016/j.tcs.2016.04.036},
journal = {THEORETICAL COMPUTER SCIENCE},
pages = {2--3},
title = {Verification of Engineered Molecular Devices and Programs Preface},
url = {http://dx.doi.org/10.1016/j.tcs.2016.04.036},
volume = {632},
year = {2016}
}
RIS format (EndNote, RefMan)
TY - JOUR
AU - Kwiatkowska,M
AU - Phillips,A
AU - Thachuk,C
DO - 10.1016/j.tcs.2016.04.036
EP - 3
PY - 2016///
SN - 0304-3975
SP - 2
TI - Verification of Engineered Molecular Devices and Programs Preface
T2 - THEORETICAL COMPUTER SCIENCE
UR - http://dx.doi.org/10.1016/j.tcs.2016.04.036
VL - 632
ER -