TVT

swMATH9811MaRDI QIDQ21790FDOQ21790

Author name not available (Why is that?)

Official website: http://www.cs.tut.fi/ohj/VARG/TVT/

Cited In (4)

• Mec 5
• VERSA
• Tools and Algorithms for the Construction and Analysis of Systems
• An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation

This page was built for software: TVT