Fritz, C., & Wilke, T. (2001). Simulation relations for alternating Büchi automata. Inst. für Informatik und Praktische Mathematik.
Chicago-Zitierstil (17. Ausg.)Fritz, Carsten, und Thomas Wilke. Simulation Relations for Alternating Büchi Automata. Kiel: Inst. für Informatik und Praktische Mathematik, 2001.
MLA-Zitierstil (9. Ausg.)Fritz, Carsten, und Thomas Wilke. Simulation Relations for Alternating Büchi Automata. Inst. für Informatik und Praktische Mathematik, 2001.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.