scientific article; zbMATH DE number 1796140

zbMath0991.68036MaRDI QIDQ4551159

Martin Steffen, Dennis Dams, Yassine Lakhneche

Publication date: 4 September 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2102/21020286

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Grammars and rewriting systems (68Q42)

Related Items

Regular model checking with regular relations, Unnamed Item, Regular model checking: evolution and perspectives, Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates, Tree regular model checking: a simulation-based approach, Verification of programs with half-duplex communication