Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games? Aleksandra Jovanovi´c, Didier Lime, Olivier H. Roux ´ LUNAM Universit´e. Ecole Centrale de Nantes - IRCCyN UMR CNRS 6597 - Internati - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-12-09 09:54:25		Synthesis of Bounded Integer Parameters for Parametric Timed Reachability Games? Aleksandra Jovanovi´c, Didier Lime, Olivier H. Roux ´ LUNAM Universit´e. Ecole Centrale de Nantes - IRCCyN UMR CNRS 6597 Add to Reading List Source URL: www.irccyn.ec-nantes.fr Download Document from Source Website File Size: 329,22 KB Share Document on Facebook