vix.ing · top · new · best · stats

Patrick Totzke

  1. History-Constrained Systems
    2026/01/01 by Louwe B. Kuijer, David Purser, Henry Sinclair-Banks +1 · 1 voice
    Computer Science · #Formal Methods in Verification #Logic, programming, and type systems #Petri Nets in System Modeling #cs.FL