Pages that link to "Item:Q1049401"
From MaRDI portal
The following pages link to An efficient simulation algorithm based on abstract interpretation (Q1049401):
Displaying 4 items.
- Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation (Q453545) (← links)
- Employing behavioral preorders to define controllability for nondeterministic discrete-event systems (Q2348368) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata (Q5170274) (← links)
