APA (7th ed.) Citation

Fritz, C., & Wilke, T. (2001). Simulation relations for alternating Büchi automata. Inst. für Informatik und Praktische Mathematik.

Chicago Style (17th ed.) Citation

Fritz, Carsten, and Thomas Wilke. Simulation Relations for Alternating Büchi Automata. Kiel: Inst. für Informatik und Praktische Mathematik, 2001.

MLA (9th ed.) Citation

Fritz, Carsten, and Thomas Wilke. Simulation Relations for Alternating Büchi Automata. Inst. für Informatik und Praktische Mathematik, 2001.