( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SVISS: Symbolic Verification of Symmetric Systems.

, , и . TACAS, том 4963 из Lecture Notes in Computer Science, стр. 459-462. Springer, (2008)

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)Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , и . ICSE, стр. 188-198. ACM Press, (1992)Multi-threaded reachability., , , , и . DAC, стр. 467-470. ACM, (2005)Symmetry Reductions in Model Checking., , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 147-158. Springer, (1998)On partitioning and symbolic model checking., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 780-788 (2006)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 226-242. Springer, (2002)An Algorithmic Framework for Synthesis of Concurrent Programs., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 522-530. Springer, (2011)Abstract Patterns of Compositional Reasoning., , , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 423-438. Springer, (2003)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 465-479. Springer, (2001)Cost-Aware Automatic Program Repair., , и . SAS, том 8723 из Lecture Notes in Computer Science, стр. 268-284. Springer, (2014)