Vol-1083⫷ Vol-1084 ⫸Vol-1085
urn:nbn:de:0074-1084-0


Vol-1084/paper1⫸Vol-1084/paper2
Frédéric BoulangerSafouan TahaCharlotte CallonGhita JalalHamza Chouh

Modeling and Verification of Redundancy Policies