zUpdate

swMATH34181MaRDI QIDQ45890FDOQ45890

Author name not available (Why is that?)

Cited In (2)

• Automatic synthesis of transiently correct network updates via Petri games
• Model Checking Data Flows in Concurrent Network Updates

This page was built for software: zUpdate