3825 search results - page 47 / 765 » The Language of Time: A Reader |
105
click to vote
LICS
2010
IEEE
14 years 8 months ago
2010
IEEE
Alternating timed automata are a powerful extension of classical Alur-Dill timed automata that are closed under all Boolean operations. They have played a key role, among others, ...
ER
2009
Springer
15 years 4 months ago
2009
Springer
ICALP
2005
Springer
15 years 3 months ago
2005
Springer
PPDP
2005
Springer
15 years 3 months ago
2005
Springer
SIGADA
2004
Springer
15 years 3 months ago
2004
Springer
