Paper: Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time (at LICS 1998)
Authors: Orna Kupferman Moshe Y. VardiAbstract
No Abstract Available
BibTeX
@InProceedings{KupfermanVardi-FreedomWeaknessandD, author = {Orna Kupferman and Moshe Y. Vardi}, title = {Freedom, Weakness, and Determinism: From Linear-Time to Branching-Time}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {81-92}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }