References of "Logical Methods in Computer Science"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailDiscovering ePassport Vulnerabilities using Bisimilarity
Horne, Ross James UL; Mauw, Sjouke UL

in Logical Methods in Computer Science (2021), 17(2), 241--2452

Detailed reference viewed: 17 (1 UL)
Full Text
Peer Reviewed
See detailA Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic
Ahn, Ki Yung; Horne, Ross James UL; Tiu, Alwen

in Logical Methods in Computer Science (2021), 17(3), 21240

Detailed reference viewed: 29 (0 UL)