scientific article; zbMATH DE number 1231556
From MaRDI portal
Publication:4222871
zbMath0911.68105MaRDI QIDQ4222871
Olaf Burkart, Yves-Marie Quemener
Publication date: 20 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume5.htm#olaf
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Grammars and rewriting systems (68Q42)
Related Items (6)
Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations ⋮ Model checking the full modal mu-calculus for infinite sequential processes ⋮ An Automata-Theoretic Approach to Infinite-State Systems ⋮ Model checking the full modal mu-calculus for infinite sequential processes ⋮ Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations ⋮ Formal Verification of Object-Oriented Graph Grammars Specifications
This page was built for publication:
