Rajaa Filali and Mohamed Bouhdadi, Modeling and Analyzing the WAP Class 2 Wireless Transaction Protocol Using Event-B . journal = {International Journal of Computer and Information Engineering}, [online]. World Academy of Science, Engineering and Technology. September 2017, vol. 130(10). 1144 - 1148 [viewed 19 September 2024]. Available from: https://publications.waset.org/pdf/10008045.