Video From 17w5099: Mathematical Analysis of Biological Interaction Networks
Robert Johnson, California Institute of Technology
Tuesday, June 6, 2017 16:33 - 17:04
Formal Verification of Chemical Reaction Network Equivalence: A Bisimulation Approach
![](http://www.birs.ca/files/images/poster.png)