Abschnittsübersicht

  • Qais Hamarneh (TU Munich) presents a talk on his ongoing MSc project in this week:

    • Safety of Column-Divided Petri Nets using Inductive Invariants