First Page | Document Content | |
---|---|---|
Date: 2011-08-09 04:16:30 | Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semanticsAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 463,91 KBShare Document on Facebook |