Pages that link to "Item:Q473367"

The following pages link to Lattice-valued simulations for quantitative transition systems (Q473367):

Displaying 3 items.

• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
• Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)