Model Checking Kernel P Systems (Q5404850)

From MaRDI portal
scientific article; zbMATH DE number 6275671
Language Label Description Also known as
English
Model Checking Kernel P Systems
scientific article; zbMATH DE number 6275671

    Statements

    title
    Model Checking Kernel P Systems (English)
    0 references
    author
    Ciprian Dragomir
    0 references
    Florentin Ipate
    0 references
    Savas Konur
    0 references
    Raluca Lefticaru
    0 references
    Laurenţiu Mierlă
    0 references
    publication date
    28 March 2014
    0 references
    describes a project that uses
    PRISM
    0 references
    SPIN
    0 references

    Identifiers

    Mathematics Subject Classification ID
    68Q05
    0 references
    68Q10
    0 references
    68Q60
    0 references
    zbMATH DE Number
    6275671
    0 references
    OpenAlex ID
    W251988146
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5404850&oldid=31289568"
    Powered by MediaWiki