Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Bibliográfalaš dieđut
Váldodahkkit: Jovanović, A, Lime, D, Roux, O
Materiálatiipa: Conference item
Almmustuhtton: Springer 2013