vix.ing · top · new · best · stats · spec

Draghici, Andrei

  1. Reachability in Fixed VASS: Expressiveness and Lower Bounds
    2023/10/25 by Andrei Draghici, Draghici, Andrei, Christoph Haase +3 · 1 citation
    Computer Science · #Formal Methods in Verification #Petri Nets in System Modeling #Distributed systems and fault tolerance