Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games

מידע ביבליוגרפי
Main Authors: Jovanović, A, Lime, D, Roux, O
פורמט: Conference item
יצא לאור: Springer 2013
תיאור
סיכום:

פריטים דומים