Modular verification of chemical reaction network encodings via serializability analysis

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.