TSPASS
From MaRDI portal
Software:18659
swMATH6567MaRDI QIDQ18659FDOQ18659
Author name not available (Why is that?)
Cited In (9)
- Fair Derivations in Monodic Temporal Reasoning
- Extracting unsatisfiable cores for LTL via temporal resolution
- An Introduction to Practical Formal Methods Using Temporal Logic
- First-Order Resolution Methods for Modal Logics
- A Cookbook for Temporal Conceptual Data Modelling with Description Logics
- Parameterized verification of leader/follower systems via first-order temporal logic
- Theorem proving for pointwise metric temporal logic over the naturals via translations
- Implementing a fair monodic temporal logic prover
- Title not available (Why is that?)
This page was built for software: TSPASS
