Talk page

Title:
Formal Verification of Chemical Reaction Network Equivalence: A Bisimulation Approach

Speaker:
Robert Johnson

Link:
http://www.birs.ca/events/2017/5-day-workshops/17w5099/videos/watch/201706061633-Johnson.html

Workshop:
Birs- 17w5099: Mathematical Analysis of Biological Interaction Networks