Sciweavers

4666 search results - page 73 / 934
» Equations on Timed Languages
Sort
View
88
Voted
ASWSD
2006
Springer
15 years 2 months ago
Modeling with the Timing Definition Language (TDL)
Wolfgang Pree, Josef Templ
85
Voted
FORMATS
2008
Springer
15 years 2 months ago
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...
IJCAI
1993
15 years 2 months ago
Logical Specification of Real-Time Granular Systems in an Object Oriented Language
Emanuele Ciapessoni, Edoardo Corsetti, Manlio Migl...
67
Voted
COLING
2006
15 years 22 days ago
The Language of Time: A Reader
Patrick Blackburn