( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reducing Model Checking of the Few to the One.

, , и . ICFEM, том 4260 из Lecture Notes in Computer Science, стр. 94-113. Springer, (2006)

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 León

Emerson Barbosa

Ryan Emerson

 

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

A Decidable Temporal Logic to Reason About Many Processes., и . PODC, стр. 233-246. ACM, (1990)Multi-threaded reachability., , , , и . DAC, стр. 467-470. ACM, (2005)Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , и . ICSE, стр. 188-198. ACM Press, (1992)Temporal Reasoning Under Generalized Fairness Constraints., и . STACS, том 210 из Lecture Notes in Computer Science, стр. 21-36. Springer, (1986)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 465-479. Springer, (2001)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 387-390. Springer, (2001)On Model-Checking for Fragments of µ-Calculus., , и . CAV, том 697 из Lecture Notes in Computer Science, стр. 385-396. Springer, (1993)Methods for Mu-calculus Model Checking: A Tutorial (Abstract).. CAV, том 939 из Lecture Notes in Computer Science, стр. 141. Springer, (1995)An Algorithmic Framework for Synthesis of Concurrent Programs., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 522-530. Springer, (2011)Model Checking Synchronous Timing Diagrams., , , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 283-298. Springer, (2000)