Sciweavers

4666 search results - page 71 / 934
» Equations on Timed Languages
Sort
View
CONCUR
2001
Springer
15 years 10 months ago
An Algebraic Characterization of Data and Timed Languages
Patricia Bouyer, Antoine Petit, Denis Théri...
HYBRID
2001
Springer
15 years 10 months ago
Hybrid Abstractions that Preserve Timed Languages
Paulo Tabuada, George J. Pappas