Marina Mongiello. Finite-state verification of the ebXML protocol. Electronic Commerce Research and Applications, 5(2):147-169, 2006. [doi]
@article{Mongiello06, title = {Finite-state verification of the ebXML protocol}, author = {Marina Mongiello}, year = {2006}, doi = {10.1016/j.elerap.2005.09.002}, url = {http://dx.doi.org/10.1016/j.elerap.2005.09.002}, tags = {protocol}, researchr = {https://researchr.org/publication/Mongiello06}, cites = {0}, citedby = {0}, journal = {Electronic Commerce Research and Applications}, volume = {5}, number = {2}, pages = {147-169}, }