Search Results - "theory of computation - parallel computing models"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

    Verification of Flat FIFO Systems by Finkel, Alain, Praveen, M.

    ISSN: 1860-5974, 1860-5974
    Published: Logical Methods in Computer Science e.V 14.10.2020
    Published in Logical methods in computer science (14.10.2020)
    “…The decidability and complexity of reachability problems and model-checking for flat counter machines have been explored in detail. However, only few results…”
    Get full text
    Journal Article
    Save to List
    Saved in:

Search Tools: