Instantiation for Parameterised Boolean Equation Systems (Q5505619)

From MaRDI portal
scientific article; zbMATH DE number 5498406
Language Label Description Also known as
English
Instantiation for Parameterised Boolean Equation Systems
scientific article; zbMATH DE number 5498406

    Statements

    Identifiers