8 search results - page 1 / 2 » focs 1989 |
FOCS
1989
IEEE
15 years 7 months ago
1989
IEEE
FOCS
1989
IEEE
15 years 7 months ago
1989
IEEE
FOCS
1989
IEEE
15 years 7 months ago
1989
IEEE
107
click to vote
FOCS
1989
IEEE
15 years 7 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...