Suchergebnisse - "Theory of computation → Parallel computing models"

  • Treffer 1 - 1 von 1
Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    ISSN: 1860-5974, 1860-5974
    Veröffentlicht: Logical Methods in Computer Science e.V 14.10.2020
    Veröffentlicht 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 …”
    Volltext
    Journal Article
    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: