Shrinktech

swMATH11890MaRDI QIDQ23826FDOQ23826

Author name not available (Why is that?)

Cited In (4)

• Precise Robustness Analysis of Time Petri Nets with Inhibitor Arcs
• Parameter synthesis for hierarchical concurrent real-time systems
• Robust reachability in timed automata and games: a game-based approach
• Title not available (Why is that?)

This page was built for software: Shrinktech