Tightening the Exchange Rates Between Automata

DOI10.1007/978-3-540-74915-8_5zbMath1179.68072MaRDI QIDQ3608401

Orna Kupferman

Publication date: 5 March 2009

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74915-8_5

Mathematics Subject Classification ID

68Q45: Formal languages and automata

03D05: Automata and formal grammars in connection with logical questions

68Q60: Specification and verification (program logics, model checking, etc.)