COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA (Q5168410): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Set OpenAlex properties.
 
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1142/s0129054113500287 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W1970310659 / rank
 
Normal rank

Latest revision as of 10:30, 30 July 2024

scientific article; zbMATH DE number 6313569
Language Label Description Also known as
English
COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA
scientific article; zbMATH DE number 6313569

    Statements

    COMPOSITIONAL VERIFICATION OF THE GENERALIZED NONBLOCKING PROPERTY USING ABSTRACTION AND CANONICAL AUTOMATA (English)
    0 references
    0 references
    0 references
    4 July 2014
    0 references
    finite-state machines
    0 references
    process-algebra
    0 references
    model checking
    0 references
    nonblocking
    0 references

    Identifiers