BibTex format
@article{Lakin:2016:10.1016/j.tcs.2015.06.033,
author = {Lakin, MR and Stefanovic, D and Phillips, A},
doi = {10.1016/j.tcs.2015.06.033},
journal = {THEORETICAL COMPUTER SCIENCE},
pages = {21--42},
title = {Modular verification of chemical reaction network encodings via serializability analysis},
url = {http://dx.doi.org/10.1016/j.tcs.2015.06.033},
volume = {632},
year = {2016}
}
RIS format (EndNote, RefMan)
TY - JOUR
AU - Lakin,MR
AU - Stefanovic,D
AU - Phillips,A
DO - 10.1016/j.tcs.2015.06.033
EP - 42
PY - 2016///
SN - 0304-3975
SP - 21
TI - Modular verification of chemical reaction network encodings via serializability analysis
T2 - THEORETICAL COMPUTER SCIENCE
UR - http://dx.doi.org/10.1016/j.tcs.2015.06.033
VL - 632
ER -