Publication:3396614
From MaRDI portal
zbMath1169.68510MaRDI QIDQ3396614
Publication date: 19 September 2009
68Q25: Analysis of algorithms and problem complexity
68Q45: Formal languages and automata
03D05: Automata and formal grammars in connection with logical questions
68Q60: Specification and verification (program logics, model checking, etc.)