Shrinktech

swMATH11890MaRDI QIDQ23826FDOQ23826

Author name not available (Why is that?)

Official website: http://rd.springer.com/chapter/10.1007/978-3-642-39799-8_72

Cited In (6)

• IMITATOR
• PSyHCoS
• Parameter synthesis for hierarchical concurrent real-time systems
• Robust reachability in timed automata and games: a game-based approach
• Precise robustness analysis of time Petri nets with inhibitor ARCS
• Title not available (Why is that?)

This page was built for software: Shrinktech