Vol-3001⫷ Vol-3002 ⫸Vol-3003
urn:nbn:de:0074-3002-0


Vol-3002/paper22⫷Vol-3002/paper24⫸Vol-3002/paper25
Sylvain ConchonGiorgio DelzannoArnaud Sangnier

Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction