Specifying and Verifying Requirements of Real-Time Systems
IEEE Transactions on Software Engineering
A fixpoint semantics and an SLD-resolution calculus for modal logic programs
Fundamenta Informaticae
Operational Semantics of Framed Temporal Logic Programs
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Temporal aspects of tasks in the user action notation
Human-Computer Interaction
Axiomatic semantics of projection temporal logic programs†
Mathematical Structures in Computer Science
A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic Programs
Fundamenta Informaticae
| Hi-index | 0.00 |