Pages that link to "Item:Q2895774"
From MaRDI portal
The following pages link to Saving space in a time efficient simulation algorithm (Q2895774):
Displaying 4 items.
- An efficient simulation algorithm based on abstract interpretation (Q1049401) (← links)
- An efficient simulation algorithm on Kripke structures (Q2453984) (← links)
- A space-efficient simulation algorithm on probabilistic automata (Q2629854) (← links)
- Calculational design of a regular model checker by abstract interpretation (Q5896884) (← links)