Shrinktech: A Tool for the Robustness Analysis of Timed Automata

By Ocan Sankur

Publisher: Springer Berlin Heidelberg

Year: 2013

DOI identifier: 10.1007/978-3-642-39799-8_72

OAI identifier:

Provided by: MUCC (Crossref)

Download PDF:
_{Sorry, we are unable to provide the full text but you may find it at the
following location(s):}

http://citeseerx.ist.psu.edu/v... (external link)