![](/img/cover-not-exists.png)
Explicit clock temporal logic in constraint checking for real-time systems
S Ramanna, J.F PetersVolume:
16
Year:
1991
Language:
english
Pages:
12
DOI:
10.1016/0066-4138(91)90009-z
File:
PDF, 1.31 MB
english, 1991