5482 search results - page 286 / 1097 » Logic Programming and Databases |
126
Voted
ER
2009
Springer
16 years 1 months ago
2009
Springer
112
Voted
ER
2009
Springer
16 years 1 months ago
2009
Springer
162
click to vote
LATA
2010
Springer
16 years 4 months ago
2010
Springer
Timed automata has been used as a powerful formalism for specifying, designing, and analyzing real time systems. We consider the generalization of timed automata to Pushdown Timed ...