Denis Thieffry, Video: Computational methods for the verification of large Boolean models

Denis Thieffry, Video: Computational methods for the verification of large Boolean models

Denis Thieffry, Computational methods for the verification of large Boolean models, Connecting Network Structure to its Dynamics: Fantasy or Reality? (Online), BIRS, BIRS talk, 21w5005, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

66M

http://www.birs.ca/events/2021/5-day-workshops/21w5005/videos

http://www.birs.ca/events/2021/5-day-workshops/21w5005/videos/watch/202109271010-Thieffry.html