Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Bustan, D., Grumberg, O.: Applicability of fair simulation. Information and computation 194(1), 1–18 (2004)
2. Lecture Notes in Computer Science;D.L. Dill,1992
3. Lecture Notes in Computer Science;K. Etessami,2002
4. Lecture Notes in Computer Science;G.J. Holzmann,2000
5. Etessami, K., Wilke, T., Schuller, R.: Fair simulation relations, parity games, and state space reduction for Büchi automata. SIAM Journal of Computing 34(5), 1159–1175 (2005)