Sciweavers

1615 search results - page 7 / 323
» Computer science and decision theory
Sort
View
165
Voted
FOCS
1992
IEEE
15 years 11 months ago
Back to the Future: Towards a Theory of Timed Regular Languages
Rajeev Alur, Thomas A. Henzinger