Vol-546⫷ Vol-547 ⫸Vol-548
urn:nbn:de:0074-547-0


Vol-547/paper-2⫷Vol-547/paper-3⫸Vol-547/paper-4
Sa'ed AbedOtmane Aït Mohamed

LCF-style for Secure Verification Platform based on Multiway Decision Graphs