( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification.

, , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 173-189. Springer, (2022)

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.

No persons found for author name Yatapanage, Nisansala
add a person with the name Yatapanage, Nisansala
 

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

Introducing Formal Methods to Students Who Hate Maths and Struggle with Programming.. FMTea, том 13122 из Lecture Notes in Computer Science, стр. 133-145. Springer, (2021)"Integrare", a Collaborative Environment for Behavior-Oriented Design., , , , , и . CDVE, том 4674 из Lecture Notes in Computer Science, стр. 122-131. Springer, (2007)Reasoning about Separation Using Abstraction and Reification., и . SEFM, том 9276 из Lecture Notes in Computer Science, стр. 3-19. Springer, (2015)PFMC: A Parallel Symbolic Model Checker for Security Protocol Verification., , и . ICFEM, том 13478 из Lecture Notes in Computer Science, стр. 173-189. Springer, (2022)Rely/Guarantee, Refinement and the ABA Problem: Part 1.. CoRR, (2023)Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols., и . CoRR, (2023)