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"
}
