Designing checkers for programs that run in parallel (Q1911462)

From MaRDI portal
Revision as of 11:49, 24 May 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Designing checkers for programs that run in parallel
scientific article

    Statements

    title
    Designing checkers for programs that run in parallel (English)
    0 references
    DOI
    10.1007/BF01961540
    0 references
    author
    Ronitt Rubinfeld
    0 references
    published in
    Algorithmica
    0 references
    publication date
    13 August 1996
    0 references
    zbMATH DE Number
    871308
    0 references
    zbMATH Keywords
    program correctness
    0 references
    P-complete problems
    0 references
    program result checking
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1911462&oldid=34159641"
    Powered by MediaWiki