Paper: On Model Checking for Non-Deterministic Infinite-State Systems (at LICS 1998)
Authors: E. Allen Emerson Kedar S. NamjoshiAbstract
No Abstract Available
BibTeX
@InProceedings{EmersonNamjoshi-OnModelCheckingforN, author = {E. Allen Emerson and Kedar S. Namjoshi}, title = {On Model Checking for Non-Deterministic Infinite-State Systems}, booktitle = {Proceedings of the Thirteenth Annual IEEE Symp. on Logic in Computer Science, {LICS} 1998}, year = 1998, editor = {Vaughan Pratt}, month = {June}, pages = {70-80}, location = {Indianapolis, IN, USA}, publisher = {IEEE Computer Society Press} }