Simulation-Based Simplification of omega-Automata: Using Simulation Relations for the Simplification of Alternating and Parity Automata

Alternating

von Carsten Fritz

Taschenbuch

ISBN: 978-3-639-00985-9

ISBN-10: 3-639-00985-1

VDM Verlag Dr. Müller · 2013