Pages that link to "Item:Q4632414"
From MaRDI portal
The following pages link to Deciding properties of integral relational automata (Q4632414):
Displaying 6 items.
- Satisfiability of \(\operatorname{ECTL}^\ast\) with constraints (Q269503) (← links)
- A classification of the expressive power of well-structured transition systems (Q553290) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Data Multi-Pushdown Automata (Q5111652) (← links)
- An Automata-based Approach for CTL⋆ With Constraints (Q5179062) (← links)
