Shrinktech

MaRDI QIDQ23826swMATHFDO

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

Cited in

(7)

• IMITATOR
• VINAS-P
• Precise robustness analysis of time Petri nets with inhibitor ARCS
• PSyHCoS
• Robust reachability in timed automata and games: a game-based approach
• Parameter synthesis for hierarchical concurrent real-time systems
• Timed automata robustness analysis via model checking

This page was built for software: Shrinktech