Cited in
(7)- Parameter synthesis for hierarchical concurrent real-time systems
- Precise robustness analysis of time Petri nets with inhibitor ARCS
- IMITATOR
- VINAS-P
- PSyHCoS
- Robust reachability in timed automata and games: a game-based approach
- scientific article; zbMATH DE number 7577576 (Why is no real title available?)
This page was built for software: Shrinktech