![](/img/cover-not-exists.png)
Decision problems for lower/upper bound parametric timed automata
Laura Bozzelli, Salvatore La TorreVolume:
35
Language:
english
Pages:
31
DOI:
10.1007/s10703-009-0074-0
Date:
October, 2009
File:
PDF, 775 KB
english, 2009