APA Citation

Stefan, G. (2023). Reachability in Two-Parametric Timed Automata with one Parameter is EXPSPACE-Complete. Springer.

Chicago Style Citation

Stefan, Göller. Reachability in Two-Parametric Timed Automata With One Parameter Is EXPSPACE-Complete. Springer, 2023.

MLA Citation

Stefan, Göller. Reachability in Two-Parametric Timed Automata With One Parameter Is EXPSPACE-Complete. Springer, 2023.

Warning: These citations may not always be 100% accurate.