![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 6 | Carsten Fritz, Thomas Wilke: Simulation Relations for Alternating Parity Automata and Parity Games. Developments in Language Theory 2006: 59-70 | |
| 4 | Carsten Fritz, Thomas Wilke: Simulation relations for alternating Büchi automata. Theor. Comput. Sci. 338(1-3): 275-314 (2005) | |
| 2 | Carsten Fritz, Thomas Wilke: State Space Reductions for Alternating Büchi Automata. FSTTCS 2002: 157-168 |
Selection of 3 from 6 records - Carsten Fritz has 1 coauthors
Copyright © 2010-01-01 by Michael Ley (ley@uni-trier.de)