No label defined (Q4896913)

From MaRDI portal
scientific article; zbMATH DE number 938070
Language Label Description Also known as
English
No label defined
scientific article; zbMATH DE number 938070

    Statements

    author
    Jan Tretmans
    0 references
    publication date
    22 October 1996
    0 references
    zbMATH Keywords
    testing
    0 references
    labelled transition systems
    0 references

    Identifiers

    zbMATH DE Number
    938070
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q4896913&oldid=29021470"
    Powered by MediaWiki