Denis Thieffry

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