Etessami, K., Wilke, T., Schuller, R.A.: Fair simulation relations, parity games, and state space reduction for Bchi automata. In: ICALP'2001. Volume 2076 of Lecture Notes in Computer Science., Springer (2001) 694--707 Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Simulation Relations for Alternating Büchi Automata - Fritz, Wilke (2002) Self-citation (Wilke Relations) (Correct)
No context found.
Kousha Etessami, Rebecca Schuller, and Thomas Wilke. Fair simulation relations, parity games, and state space reduction for Bchi automata. In F. Orejas, P.G. Spirakis, and J. van Leeuwen, editors, Automata, Languages and Programming (ICALP 2001), vol. 2076 of LNCS, pp. 694--707, 2001.
Simulation Relations for Alternating Büchi Automata - Fritz, Wilke (2001) Self-citation (Wilke Relations) (Correct)
No context found.
Kousha Etessami, Rebecca Schuller, and Thomas Wilke. Fair simulation relations, parity games, and state space reduction for Bchi automata. In F. Orejas, P.G. Spirakis, and J. van Leeuwen, editors, Automata, Languages and Programming (ICALP 2001), vol. 2076 of LNCS, pp. 694--707, 2001.
Experiments with Deterministic ω-Automata for Formulas.. - Klein, Baier (2005) (Correct)
No context found.
Etessami, K., Wilke, T., Schuller, R.A.: Fair simulation relations, parity games, and state space reduction for Bchi automata. In: ICALP'2001. Volume 2076 of Lecture Notes in Computer Science., Springer (2001) 694--707
Equivalence-Based Reductions and checking for preorders - Bustan (2002) (Correct)
No context found.
K. Etessami, Th. Wilke, and R. Schuller. Fair simulation relations, parity games, and state space reduction for Bchi automata. In Automata, Languages and Programming, 28th international collquium, LNCS 2076, pages 694--707, 2001.
Nested Emptiness Search for Generalized Büchi Automata - Tauriainen (2003) (Correct)
No context found.
K. Etessami, Th. Wilke, and R. Schuller. Fair simulation relations, parity games, and state space reduction for Bchi automata. In Proc. 28th Int. Colloquium on Automata, Languages and Programming (ICALP'2001.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC