scientific article; zbMATH DE number 1903379
From MaRDI portal
Publication:4804924
zbMath1010.68085MaRDI QIDQ4804924
Tayssir Touili, Ahmed Bouajjani
Publication date: 1 May 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2404/24040539.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (10)
Model Checking Parameterized Systems ⋮ Symbolic Model Checking in Non-Boolean Domains ⋮ Complete symbolic reachability analysis using back-and-forth narrowing ⋮ A Uniform (Bi-)Simulation-Based Framework for Reducing Tree Automata ⋮ Equational approximations for tree automata completion ⋮ Verifying Multithreaded Recursive Programs with Integer Variables ⋮ A note on partially ordered tree automata ⋮ Tree regular model checking: a simulation-based approach ⋮ Computing Simulations over Tree Automata ⋮ Handling Left-Quadratic Rules When Completing Tree Automata
This page was built for publication:
