Vardi, M. Y., `Branching vs. linear time: Final showdown', in T. Margaria and W. Yi, (eds.), Proceedings of the 2001.  Home/Search   Document Details and Download   Context   Related Articles

This paper is cited by the following papers:

Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003)   (Correct)

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