E. Friedgut, O. Kupferman, and M.Y. Vardi. Buchi complementation made tighter. Int'l J. of Foundations of Computer Science, 17(4):851--867, 2006. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Automata-Theoretic Model Checking Revisited - Vardi Self-citation (Vardi) (Correct)
No context found.
E. Friedgut, O. Kupferman, and M.Y. Vardi. Buchi complementation made tighter. Int'l J. of Foundations of Computer Science, 17(4):851--867, 2006.
Büchi Complementation: A Forty-Year Saga - Vardi (2006) Self-citation (Vardi) (Correct)
No context found.
E. Friedgut, O. Kupferman, and M.Y. Vardi. Buchi complementation made tighter. In 2nd International Symposium on Automated Technology for Verification and Analysis, volume 3299 of Lecture Notes in Computer Science, pages 64--78. Springer-Verlag, 2004.
Complementation Constructions for Nondeterministic Automata.. - Kupferman, Vardi (2005) Self-citation (Kupferman Vardi) (Correct)
No context found.
E. Friedgut, O. Kupferman, and M.Y. Vardi. Buchi complementation made tighter. In Proc. 2nd ATVA, LNCS 3299, pages 64--78, 2004.
Safraless Decision Procedures - Orna Kupferman Hebrew Self-citation (Kupferman Vardi) (Correct)
No context found.
E. Friedgut, O. Kupferman, and M.Y. Vardi. Buchi complementation made tighter. In 2nd International Symposium on Automated Technology for Verification and Analysis, volume 3299 of Lecture Notes in Computer Science, pages 64--78. Springer-Verlag, 2004.
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