Formal Methods for Components and Objects (Q5897450)

From MaRDI portal
scientific article; zbMATH DE number 5069221
Language Label Description Also known as
English
Formal Methods for Components and Objects
scientific article; zbMATH DE number 5069221

    Statements

    title
    Formal Methods for Components and Objects (English)
    0 references
    author
    Gerd Behrmann
    0 references
    Kim Guldstrand Larsen
    0 references
    Jacob Illum Rasmussen
    0 references
    publication date
    1 November 2006
    0 references

    Identifiers

    DOI
    10.1007/11561163
    0 references
    Mathematics Subject Classification ID
    68Q45
    0 references
    68M20
    0 references
    90B35
    0 references
    zbMATH DE Number
    5069221
    0 references
    OpenAlex ID
    W4298853841
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5897450&oldid=32311565"
    Powered by MediaWiki