Extending Ina Jo with Temporal Logic
IEEE Transactions on Software Engineering
Checking that finite state concurrent programs satisfy their linear specification
POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Temporal logics for real-time system specification
ACM Computing Surveys (CSUR)
An Interval Logic for Real-Time System Specification
IEEE Transactions on Software Engineering
Transition logic: How to reason about temporal properties in a compositional way
STOC '84 Proceedings of the sixteenth annual ACM symposium on Theory of computing
| Hi-index | 0.00 |