Finite-state verification of the ebXML protocol
Authors
Mongiello MarinaDOI
https://doi.org/10.1016/j.elerap.2005.09.002BibTex references
@Article{Mon06, author = "Mongiello, Marina", title = "Finite-state verification of the ebXML protocol", journal = "Electronic Commerce Research and Applications", number = "2", volume = "5", pages = "147--169", year = "2006", url = "http://sisinflab.poliba.it/Publications/2006/Mon06" }