Ludovic Apvrille, Pierre de Saqui-Sannes. Adding a methodological assistant to a protocol modeling environment. In Djamal Benslimane, Aris M. Ouksel, editors, Proceedings of the 8th international conference on New technologies in distributed systems, NOTERE '08, Lyon, France, June 23-27, 2008. ACM, 2008. [doi]
Abstract is missing.