Výsledky vyhledávání - "Theory of computation - Parallel computing models"
-
1
Verification of Flat FIFO Systems
ISSN: 1860-5974, 1860-5974Vydáno: Logical Methods in Computer Science e.V 14.10.2020Vydáno v 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…”
Získat plný text
Journal Article