From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Using Temporal Logic for Automatic Verification of Finite State Systems.

E. Clarke, M. Browne, E. Emerson, и A. Sistla. Logics and Models of Concurrent Systems, том 13 из NATO ASI Series, стр. 3-26. Springer, (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Robert Emerson

Vanessa Emerson

Emerson León

Emerson Barbosa

Ryan Emerson

Другие публикации лиц с тем же именем

Cost-Aware Automatic Program Repair.R. Samanta, O. Olivo, и E. Emerson. CoRR, (2013)Systems Architecture, Design, Engineering, and Verification - The Practice in Research and Research in Practice.D. Malkhi, F. Corbató, E. Emerson, J. Sifakis, и K. Thompson. ACM-TURING, стр. 6:1. ACM, (2012)Synthesis of fault-tolerant concurrent programs.P. Attie, A. Arora, и E. Emerson. ACM Trans. Program. Lang. Syst., 26 (1): 125-185 (2004)Utilizing Symmetry when Model-Checking under Fairness Assumptions: An Automata-Theoretic Approach.E. Emerson, и A. Sistla. ACM Trans. Program. Lang. Syst., 19 (4): 617-638 (1997)Alternative Semantics for Temporal Logics.E. Emerson. Theor. Comput. Sci., (1983)Using Temporal Logic for Automatic Verification of Finite State Systems.E. Clarke, M. Browne, E. Emerson, и A. Sistla. Logics and Models of Concurrent Systems, том 13 из NATO ASI Series, стр. 3-26. Springer, (1984)On Reasoning About Rings.E. Emerson, и K. Namjoshi. Int. J. Found. Comput. Sci., 14 (4): 527-550 (2003)The Complexity of Tree Automata and Logics of Programs.E. Emerson, и C. Jutla. SIAM J. Comput., 29 (1): 132-158 (1999)Reasoning about Rings.E. Emerson, и K. Namjoshi. POPL, стр. 85-94. ACM Press, (1995)Decision Procedures and Expressiveness in the Temporal Logic of Branching TimeE. Emerson, и J. Halpern. STOC, стр. 169-180. ACM, (1982)

BibSonomy

Disambiguation