Invited Talk: Linear vs. Branching Time: A Complexity-Theoretic Perspective (at LICS 1998)
Authors: Moshe Y. VardiAbstract
No Abstract Available
BibTeX
@InProceedings{Vardi-LinearvsBranchingTi, author = {Moshe Y. Vardi}, title = {Linear vs. Branching Time: A Complexity-Theoretic Perspective}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {394--405}, location = {Indianapolis, IN, USA}, note = {Invited Talk}, publisher = {IEEE Computer Society Press} }