ADG

swMATH46513MaRDI QIDQ5973412FDOQ5973412

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-030-17462-0_18

Source code repository: https://git.launchpad.net/adg-tool

Cited In (3)

• TAPAAL
• Verification of multiplayer stochastic games via abstract dependency graphs
• Oink

This page was built for software: ADG