Paper: Verification of Concurrent Programs: The Automata-Theoretic Framework (at LICS 1987)
Authors: Moshe Y. VardiAbstract
No Abstract Available
BibTeX
@InProceedings{Vardi-VerificationofConcu, author = {Moshe Y. Vardi}, title = {Verification of Concurrent Programs: The Automata-Theoretic Framework}, booktitle = {Proceedings of the Second Annual IEEE Symp. on Logic in Computer Science, {LICS} 1987}, year = 1987, editor = {David Gries}, month = {June}, pages = {167--176}, location = {Ithaca, NY, USA}, publisher = {IEEE Computer Society Press} }