Robustness in Timed Automata

From MaRDI portal
Publication:5168510