Sciweavers

644 search results - page 27 / 129
» Precedence Automata and Languages
Sort
View
RTAS
2006
IEEE
15 years 5 months ago
A Semantic Unit for Timed Automata Based Modeling Languages
Kai Chen 0003, Janos Sztipanovits, Sherif Abdelwah...
FORMATS
2008
Springer
15 years 28 days ago
Timed Automata with Integer Resets: Language Inclusion and Expressiveness
P. Vijay Suman, Paritosh K. Pandya, Shankara Naray...