Pages that link to "Item:Q1401924"
From MaRDI portal
The following pages link to Well-abstracted transition systems: Application to FIFO automata. (Q1401924):
Displaying 6 items.
- Verification of programs with half-duplex communication (Q2573635) (← links)
- BOUNDED PARIKH AUTOMATA (Q2841977) (← links)
- (Q5129947) (← links)
- Acceleration in Convex Data-Flow Analysis (Q5458862) (← links)
- Verification of Flat FIFO Systems (Q5875373) (← links)
- Reasoning about reversal-bounded counter machines (Q6599624) (← links)
