Talk page

Title:
Computational methods for the verification of large Boolean models

Speaker:
Denis Thieffry

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

Workshop:
Birs- 21w5005: Connecting Network Structure to its Dynamics: Fantasy or Reality? (Online)