Quantified Abstractions of Distributed Systems.

Elvira Albert, Jess Correas, Germn Puebla, Guillermo Romn-Dez

Browse the full IFM paper archive.