ZenoTool

swMATH10129MaRDI QIDQ22097FDOQ22097

Author name not available (Why is that?)

Official website: http://www.sts.tu-harburg.de/research/zenotool.html

Cited In (1)

• Static detection of Zeno runs in UPPAAL networks based on synchronization matrices and two data-variable heuristics

This page was built for software: ZenoTool