Robert Johnson

  1. 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