Verification of Infinite-Step Opacity and Complexity Considerations (Q5352820)

From MaRDI portal
scientific article; zbMATH DE number 6771603
Language Label Description Also known as
English
Verification of Infinite-Step Opacity and Complexity Considerations
scientific article; zbMATH DE number 6771603

    Statements

    Verification of Infinite-Step Opacity and Complexity Considerations (English)
    0 references
    8 September 2017
    0 references

    Identifiers