scientific article; zbMATH DE number 1232239
From MaRDI portal
Publication:4223065
zbMath0907.68139MaRDI QIDQ4223065
Publication date: 3 January 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Parallel algorithms in computer science (68W10)
Related Items
Model checking the full modal mu-calculus for infinite sequential processes ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Iterating transducers