Improvement of a service level negotiation protocol using formal verification.

Mohamed Aymen Chalouf, Francine Krief, Nader Mbarek, Tayeb Lemlouma

Browse the full ISCC paper archive.