Pages that link to "Item:Q5259293"

The following pages link to Quantitative Analysis of Lattice-valued Kripke Structures (Q5259293):

Displaying 5 items.

• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
• Fuzzy alternating automata over distributive lattices (Q781276) (← links)
• Quantitative analysis of software approximate correctness (Q1664851) (← links)
• Fuzzy alternating Büchi automata over distributive lattices (Q1678419) (← links)
• The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)