| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Simulation-Based Simplification of omega-Automata: Using Simulation Relations for the Simplification of Alternating and Parity Automata | 978-3-639-OO985-9 (3-639-OO985-1) | 2013 |
C.F. · Carsten Freitag · Christer Fritzell · Christian Ferdigg · Christian Frautschi · Christian Freitag · Christian Frétigny · Christian Freytag · Christian Frietsch · Christian Fritsche · Christian Fritz · Christian Fritzsche · Christian Fürtjes · Christiane Fortsing · Christiane Fritsche · Christiane Fritze · Christiane Fürtges · Christina Fritz · Christine Freitag · Christine Fritsch · Christine Fritzen · Christoph Fritz · Christoph Fritze · Christoph Frutiger · Christoph Furtschegger