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
Summary Related Articles |
This paper is cited in the following contexts:
Cooperation, Knowledge, and Time: Alternating-time.. - van der Hoek, Wooldridge (2003) (Correct)
No context found.
Vardi, M. Y., `Branching vs. linear time: Final showdown', in T. Margaria and W. Yi, (eds.), Proceedings of the 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