Vol-2986⫷ Vol-2987 ⫸Vol-2988
urn:nbn:de:0074-2987-0


Vol-2987/paper10⫷Vol-2987/paper11⫸Vol-2987/paper12
Sylvain ConchonGiorgio DelzannoArnaud Sangnier

On the Parameterized Verification of Abstract Models of Contact Tracing Protocols