Fly-Automata, Their Properties and Applications
From MaRDI portal
Publication:5200070
DOI10.1007/978-3-642-22256-6_24zbMath1297.68117OpenAlexW202626244MaRDI QIDQ5200070
Publication date: 29 July 2011
Published in: Implementation and Application of Automata (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-22256-6_24
Formal languages and automata (68Q45) Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
Related Items (2)
Practical algorithms for MSO model-checking on tree-decomposable graphs ⋮ Fly-automata for checking \(\mathrm{MSO}_2\) graph properties
Uses Software
Cites Work
This page was built for publication: Fly-Automata, Their Properties and Applications