Implementation and Application of Automata

DOI10.1007/B105090zbMath1115.68379OpenAlexW4302765085MaRDI QIDQ5463990

Ivan Zakharyaschev, Vladimir A. Zakharov

Publication date: 17 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b105090

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Program equivalence checking by two-tape automata ⋮ Using algebraic models of programs for detecting metamorphic malwares

This page was built for publication: Implementation and Application of Automata