Aadithya V. Karthik, David Soloveichik, Sayak Ray, Baruch Sterin, Alan Mishchenko, Robert K. Brayton, Jaijeet Roychowdhury. NINJA: boolean modelling and formal verification of tiered-rate chemical reaction networks (extended abstract). In Pierre Baldi, Wei Wang 0010, editors, Proceedings of the 5th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics, BCB '14, Newport Beach, California, USA, September 20-23, 2014. pages 623-624, ACM, 2014. [doi]
Abstract is missing.