Pages that link to "Item:Q3587257"
From MaRDI portal
The following pages link to An Automata-Theoretic Approach to Infinite-State Systems (Q3587257):
Displaying 13 items.
- Efficient CTL model-checking for pushdown systems (Q402129) (← links)
- Fixed point characterization of infinite behavior of finite-state systems (Q1389678) (← links)
- On finite representations of infinite-state behaviours (Q1606922) (← links)
- Analyzing pushdown systems with stack manipulation (Q1706143) (← links)
- (Q2754072) (← links)
- Efficient CTL Model-Checking for Pushdown Systems (Q3090847) (← links)
- A note on the decomposition of infinite automata (Q3811721) (← links)
- A Finite State Version of the Kraft--McMillan Theorem (Q4507391) (← links)
- Finite Automata and the Analysis of Infinite Transition Systems (Q4907868) (← links)
- (Q5005144) (← links)
- Solving Infinite Games in the Baire Space (Q5038566) (← links)
- Branching Temporal Logic of Calls and Returns for Pushdown Systems (Q6162219) (← links)
- First order Büchi automata and their application to verification of LTL specifications (Q6643476) (← links)