Pages that link to "Item:Q5458835"
From MaRDI portal
The following pages link to An Incremental Bisimulation Algorithm (Q5458835):
Displaying 4 items.
- A formal verification technique for behavioural model-to-model transformations (Q682361) (← links)
- Computation of the greatest simulations and bisimulations between fuzzy automata (Q690916) (← links)
- Nondeterministic automata: equivalence, bisimulations, and uniform relations (Q903611) (← links)
- Computing the Maximum Bisimulation with Spiking Neural P Systems (Q3009343) (← links)
