K. Chatterjee, T.A. Henzinger, and M. Jurdzinski. Games with secure equilibria. In Logic in Computer Science, pages 160--169. IEEE Computer Society, 2004.

 Home/Search   Document Not in Database   Summary   Related Articles  

This paper is cited in the following contexts:
Games in System Design and Verification - Thomas Henzinger Epfl   Self-citation (Henzinger)   (Correct)

No context found.

K. Chatterjee, T.A. Henzinger, and M. Jurdzinski. Games with secure equilibria. In Logic in Computer Science, pages 160--169. IEEE Computer Society, 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