Implementation and Application of Automata

DOI10.1007/11605157zbMath1172.68421OpenAlexW2544597226MaRDI QIDQ5897665

Arnaud Bailly, Isabelle Simplot-Ryl, Mireille Clerbout

Publication date: 13 November 2006

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Infinite unfair shuffles and associativity

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