VERSA

swMATH21393MaRDI QIDQ33200FDOQ33200

Author name not available (Why is that?)

Official website: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.54.8018

Cited In (12)

• A process algebraic approach to the schedulability analysis and workload abstraction of hierarchical real-time systems
• A process algebra of communicating shared resources with dense time and priorities
• SIGREF
• BISIMULATOR
• M-TREE
• APNN-Toolbox
• TVT
• fc2tools
• Concurrency Workbench
• Mec 5
• CARTS
• mCRL

This page was built for software: VERSA