Catching a Structural Bug with a Flower (Q2803577)

From MaRDI portal
Revision as of 08:34, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Catching a Structural Bug with a Flower
scientific article

    Statements

    title
    Catching a Structural Bug with a Flower (English)
    0 references
    author
    Florent Avellaneda
    0 references
    Rémi Morin
    0 references
    publication date
    2 May 2016
    0 references
    zbMATH Keywords
    vector addition system with states
    0 references
    structural properties
    0 references
    counter-example
    0 references
    dynamic graph
    0 references
    zero-cycle
    0 references

    Identifiers

    DOI
    10.3233/FI-2015-1245
    0 references
    zbMATH DE Number
    6575697
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2803577&oldid=27260018"
    Powered by MediaWiki