Pages that link to "Item:Q4907852"
From MaRDI portal
The following pages link to Modern Applications of Automata Theory (Q4907852):
Displaying 20 items.
- An Introduction to Finite Automata and their Connection to Logic (Q4907853) (← links)
- Finite-State Automata on Infinite Inputs (Q4907854) (← links)
- Basics on Tree Automata (Q4907855) (← links)
- An Introduction to Timed Automata (Q4907856) (← links)
- A Language-Theoretic View of Verification (Q4907857) (← links)
- A Framework for Decentralized Physical Access Control using Finite State Automata (Q4907858) (← links)
- Reasoning about Heap Manipulating Programs using Automata Techniques (Q4907859) (← links)
- Chop Expressions and Discrete Duration Calculus (Q4907860) (← links)
- Automata on Distributed Alphabets (Q4907861) (← links)
- The Theory of Message Sequence Charts (Q4907862) (← links)
- Type Checking of Tree Walking Transducers (Q4907863) (← links)
- Three Case Studies on Verification of Infinite-State Systems (Q4907864) (← links)
- Introduction to Hybrid Automata (Q4907865) (← links)
- The Discrete Time Behaviour of Restricted Linear Hybrid Automata (Q4907866) (← links)
- Specification and Verification using Temporal Logics (Q4907867) (← links)
- Finite Automata and the Analysis of Infinite Transition Systems (Q4907868) (← links)
- Automata over Infinite Alphabets (Q4907869) (← links)
- Automata and Logics over Signals (Q4907871) (← links)
- Syntax Directed Compression of Trees Using Pushdown Automata (Q4907872) (← links)
- Weighted Finite Automata and Digital Images (Q4907873) (← links)