( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Model Checking Synchronous Timing Diagrams.

, , , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 283-298. Springer, (2000)

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.

Vanessa Emerson

Robert Emerson

Emerson León

Emerson Barbosa

Ryan Emerson

 

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

Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , и . ICSE, стр. 188-198. ACM Press, (1992)Multi-threaded reachability., , , , и . DAC, стр. 467-470. ACM, (2005)A Decidable Temporal Logic to Reason About Many Processes., и . PODC, стр. 233-246. ACM, (1990)Model Checking Synchronous Timing Diagrams., , , и . FMCAD, том 1954 из Lecture Notes in Computer Science, стр. 283-298. Springer, (2000)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 465-479. Springer, (2001)On Model-Checking for Fragments of µ-Calculus., , и . CAV, том 697 из Lecture Notes in Computer Science, стр. 385-396. Springer, (1993)Rtdt: A Front-End for Efficient Model Checking of Synchronous Timing Diagrams., , , и . CAV, том 2102 из Lecture Notes in Computer Science, стр. 387-390. Springer, (2001)Methods for Mu-calculus Model Checking: A Tutorial (Abstract).. CAV, том 939 из Lecture Notes in Computer Science, стр. 141. Springer, (1995)Model Checking: Progress and Problems.. VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 1. Springer, (2009)Abstract Patterns of Compositional Reasoning., , , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 423-438. Springer, (2003)