Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS - Universit libre de Bruxelles - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-09-06 05:42:30		Robustness in Timed Automata Patricia Bouyer1 , Nicolas Markey1 , and Ocan Sankur1,2 1 LSV – CNRS & ENS Cachan – France Universit´e Libre de Bruxelles – Belgium Add to Reading List Source URL: www.lsv.ens-cachan.fr Download Document from Source Website File Size: 385,09 KB Share Document on Facebook