Shrinktech

MaRDI QIDQ23826swMATHFDO

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

Cited in

(7)

• scientific article; zbMATH DE number 7577576 (Why is no real title available?)
• IMITATOR
• VINAS-P
• 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

This page was built for software: Shrinktech