( 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

Ryan Emerson

Emerson Barbosa

 

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

On partitioning and symbolic model checking., , , и . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 25 (5): 780-788 (2006)Symmetry Reductions in Model Checking., , , и . CAV, том 1427 из Lecture Notes in Computer Science, стр. 147-158. Springer, (1998)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 226-242. Springer, (2002)Multi-threaded reachability., , , , и . DAC, стр. 467-470. ACM, (2005)Formal Specification of Ssynchronous Distributed Real-Time Systems by APTL., , и . ICSE, стр. 188-198. ACM Press, (1992)A Decidable Temporal Logic to Reason About Many Processes., и . PODC, стр. 233-246. ACM, (1990)Model Checking and the Mu-calculus.. Descriptive Complexity and Finite Models, том 31 из DIMACS Series in Discrete Mathematics and Theoretical Computer Science, стр. 185-214. DIMACS/AMS, (1996)Abstract Patterns of Compositional Reasoning., , , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 423-438. Springer, (2003)Cost-Aware Automatic Program Repair., , и . SAS, том 8723 из Lecture Notes in Computer Science, стр. 268-284. Springer, (2014)An Algorithmic Framework for Synthesis of Concurrent Programs., и . ATVA, том 6996 из Lecture Notes in Computer Science, стр. 522-530. Springer, (2011)