Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer · - Elie - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2015-10-26 09:37:06		Formal Methods in System Design manuscript No. (will be inserted by the editor) A Game Approach to Determinize Timed Automata Nathalie Bertrand · Am´ elie Stainer · Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 549,67 KB Share Document on Facebook