296 search results - page 11 / 60 » Linear Parametric Model Checking of Timed Automata |
TACAS
1998
Springer
15 years 1 months ago
1998
Springer
ENTCS
2002
14 years 9 months ago
2002
FOSSACS
2007
Springer
15 years 3 months ago
2007
Springer
94
Voted
CAV
2003
Springer
15 years 2 months ago
2003
Springer
SIGSOFT
2007
ACM
15 years 10 months ago
2007
ACM
Model checking techniques have traditionally dealt with temporal logic languages and automata interpreted over -words, i.e., infinite in the future but finite in the past. However...