495 search results - page 11 / 99 » Automata and differentiable words |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
d Abstract) Jochen Eisinger1 and Felix Klaedtke2 1 Albert-Ludwigs-Universit
CONCUR
2006
Springer
13 years 11 months ago
2006
Springer
CORR
2008
Springer
13 years 7 months ago
2008
Springer
FUIN
2006
13 years 7 months ago
2006
ICALP
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. This paper is concerned with the language inclusion problem for timed automata: given timed automata A and B, is every word accepted by B also accepted by A? Alur and Dil...