TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
"Sometime" is sometimes "not never": on the temporal logic of programs
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Real-time logics: complexity and expressiveness
Real-time logics: complexity and expressiveness
| Hi-index | 0.00 |