Video: Robert Johnson, "Formal Verification of Chemical Reaction Network Equivalence: A Bisimulation Approach"

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

Robert Johnson, Video: Formal Verification of Chemical Reaction Network Equivalence: A Bisimulation Approach

Robert Johnson, Formal Verification of Chemical Reaction Network Equivalence: A Bisimulation Approach, Mathematical Analysis of Biological Interaction Networks, BIRS, BIRS talk, 17w5099, math, mathematics, video

Banff International Research Station

presentation

mpeg4

99M

http://www.birs.ca/events/2017/5-day-workshops/17w5099/videos

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

Download this video (99M)