![](https://www.pdfsearch.io/img/46caf0c6961182793988cc7ceb185c3f.jpg) 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 ListSource URL: people.rennes.inria.frDownload Document from Source Website File Size: 549,67 KBShare Document on Facebook
|