The following pages link to TeMP (Q21966):
Displayed 15 items.
- On temporal logics with data variable quantifications: decidability and complexity (Q342712) (← links)
- First-order temporal verification in practice (Q851137) (← links)
- Certifying proofs for SAT-based model checking (Q2058379) (← links)
- Parameterized verification of leader/follower systems via first-order temporal logic (Q2149965) (← links)
- Mechanising first-order temporal resolution (Q2486579) (← links)
- Using temporal logics of knowledge for specification and verification -- a case study (Q2494726) (← links)
- Theorem proving using clausal resolution: from past to present (Q2695485) (← links)
- Temporal Logics of Knowledge and their Applications in Security (Q2866724) (← links)
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics (Q2946734) (← links)
- An Introduction to Practical Formal Methods Using Temporal Logic (Q2996923) (← links)
- Temporal Verification of Fault-Tolerant Protocols (Q3623816) (← links)
- Implementing Temporal Logics: Tools for Execution and Proof (Q3623967) (← links)
- Fair Derivations in Monodic Temporal Reasoning (Q5191107) (← links)
- Automated Reasoning (Q5307069) (← links)
- Foundations of Information and Knowledge Systems (Q5898545) (← links)