zUpdate
From MaRDI portal
Software:45890
No author found.
Related Items (2)
Model Checking Data Flows in Concurrent Network Updates ⋮ Automatic synthesis of transiently correct network updates via Petri games
This page was built for software: zUpdate