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]
No references recorded for this publication.
No citations of this publication recorded.