Pages that link to "Item:Q4571986"
From MaRDI portal
The following pages link to Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations (Q4571986):
Displayed 6 items.
- Well-abstracted transition systems: Application to FIFO automata. (Q1401924) (← links)
- Flat Petri nets (invited talk) (Q2117150) (← links)
- Algorithmic analysis of polygonal hybrid systems. I: Reachability (Q2373713) (← links)
- Exact Acceleration of Real-Time Model Checking (Q2842578) (← links)
- Regular Model Checking using Widening Techniques (Q4921501) (← links)
- Regular model checking: evolution and perspectives (Q6045027) (← links)