( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Compositional Verification of Smart Contracts Through Communication Abstraction.

, , , , , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 429-452. Springer, (2021)

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.

Richard J Saley

Richard J Brunt

Richard J Fuchs

Richard J Watts

Richard J Fuchs

 

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

Loop Freedom in AODVv2., и . FORTE, том 9039 из Lecture Notes in Computer Science, стр. 98-112. Springer, (2015)Parameterized Compositional Model Checking., и . TACAS, том 9636 из Lecture Notes in Computer Science, стр. 589-606. Springer, (2016)Compositional Verification of Smart Contracts Through Communication Abstraction., , , , , и . SAS, том 12913 из Lecture Notes in Computer Science, стр. 429-452. Springer, (2021)Extending Symmetry Reduction by Exploiting System Architecture., и . VMCAI, том 5403 из Lecture Notes in Computer Science, стр. 320-334. Springer, (2009)Algorithmic Analysis of Piecewise FIFO Systems., , , и . FMCAD, стр. 45-52. IEEE Computer Society, (2007)On the Competeness of Compositional Reasoning., и . CAV, том 1855 из Lecture Notes in Computer Science, стр. 139-153. Springer, (2000)Local Symmetry and Compositional Verification., и . VMCAI, том 7148 из Lecture Notes in Computer Science, стр. 348-362. Springer, (2012)Abstract Patterns of Compositional Reasoning., , , и . CONCUR, том 2761 из Lecture Notes in Computer Science, стр. 423-438. Springer, (2003)Visual Specifications for Modular Reasoning about Asynchronous Systems., , , и . FORTE, том 2529 из Lecture Notes in Computer Science, стр. 226-242. Springer, (2002)Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams., , , и . TACAS, том 2031 из Lecture Notes in Computer Science, стр. 465-479. Springer, (2001)