Vol-2244⫷ Vol-2245 ⫸Vol-2246
urn:nbn:de:0074-2245-0


Vol-2245/modcomp_paper_4⫷Vol-2245/modcomp_paper_5⫸Vol-2245/modcomp_paper_6

Compiling Protocols to Promela and Verifying their LTL Properties