Thuan TN, Binh TT, Hieu VV. Formalizing and checking web service discovery models using B. JCC [Internet]. 2012 Jun. 21 [cited 2024 Apr. 28];28(1):77-88. Available from: https://vjs.ac.vn/index.php/jcc/article/view/1068