Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information (Q5853966)

From MaRDI portal
scientific article; zbMATH DE number 7320116
Language Label Description Also known as
English
Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information
scientific article; zbMATH DE number 7320116

    Statements

    Control of Nondeterministic Systems for Bisimulation Equivalence Under Partial Information (English)
    0 references
    0 references
    12 March 2021
    0 references

    Identifiers