Pages that link to "Item:Q2946627"
From MaRDI portal
The following pages link to Safety alternating automata on data words (Q2946627):
Displayed 4 items.
- On termination and invariance for faulty channel machines (Q1941874) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- Equal To The Task? (Q5030181) (← links)
- Extending two-variable logic on data trees with order on data values and its automata (Q5410335) (← links)