Variants of LTL query checking
From MaRDI portal
Recommendations
Cited in
(8)- scientific article; zbMATH DE number 1670794 (Why is no real title available?)
- A tableau construction for finite linear-time temporal logic
- Finding State Solutions to Temporal Logic Queries
- On solving temporal logic queries
- Automata, Languages and Programming
- An abstraction-refinement framework for trigger querying
- On the distributivity of LTL specifications
- Computer Science Logic
This page was built for publication: Variants of LTL query checking
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5391524)