On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)

von Pol, Jaco van de
Veröffentlicht in WADT (25. : 2020 : Online) Recent Trends in Algebraic Development Techniques (2021)