Bresolin, Davide

1. Equivalence Checking and Intersection of Deterministic Timed Finite State Machines
   2021/03/08 by Davide Bresolin, Bresolin, Davide, Khaled El‐Fakih +5 · 1 citation
   Computer Science · #Formal Methods in Verification #semigroups and automata theory #Network Packet Processing and Optimization