Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan - Cachan - Document - PDFSEARCH.IO

First Page	Meta Content
	Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan & CNRS, France. Add to Reading List Document Date: 2013-07-16 08:47:10 Open Document File Size: 411,21 KB Share Result on Facebook

Shrinktech: A Tool for the Robustness Analysis of Timed Automata Ocan Sankur LSV, ENS Cachan & CNRS, France. Add to Reading List