Jaco van de Pol , Laure Petrucci : On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract).
確定! 回上一頁