No label defined (Q5136320)

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

    Statements

    author
    Bernd Finkbeiner
    0 references
    Paul Gölz
    0 references
    publication date
    25 November 2020
    0 references
    zbMATH Keywords
    reactive synthesis
    0 references
    distributed information
    0 references
    causal memory
    0 references
    Petri nets
    0 references
    describes a project that uses
    Acacia+
    0 references
    Unbeast
    0 references

    Identifiers

    zbMATH DE Number
    7278100
    0 references
    arXiv ID
    1710.05368
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5136320&oldid=36635629"
    Powered by MediaWiki