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 · - Design methods - Document - PDFSEARCH.IO

First Page	Meta Content
	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 Document Date: 2015-10-26 09:37:06 Open Document File Size: 549,67 KB Share Result on Facebook

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