Matthew R. Lakin, Darko Stefanovic, Andrew Phillips. Modular verification of chemical reaction network encodings via serializability analysis. Theoretical Computer Science, 632:21-42, 2016. [doi]
@article{LakinSP16,
title = {Modular verification of chemical reaction network encodings via serializability analysis},
author = {Matthew R. Lakin and Darko Stefanovic and Andrew Phillips},
year = {2016},
doi = {10.1016/j.tcs.2015.06.033},
url = {http://dx.doi.org/10.1016/j.tcs.2015.06.033},
researchr = {https://researchr.org/publication/LakinSP16},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {632},
pages = {21-42},
}