Mohamed Aymen Chalouf, Francine Krief, Nader Mbarek, Tayeb Lemlouma. Improvement of a service level negotiation protocol using formal verification. In 2013 IEEE Symposium on Computers and Communications, ISCC 2013, Split, Croatia, 7-10 July, 2013. pages 783-788, IEEE, 2013. [doi]
Abstract is missing.