Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Bibliographic Details
Main Authors: Jovanović, A, Lime, D, Roux, O
Format: Conference item
Published: Springer 2013
Description
Summary:

Similar Items