Finite-state verification of the ebXML protocol

Electronic Commerce Research and Applications, Volume 5, Number 2, page 147--169 - 2006

BibTex references


@Article{Mon06,
author = {Marina Mongiello},
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://www-ictserv.poliba.it/publications/2006/Mon
06"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

Research group of Politecnico di Bari
Edoardo Orabona St, 4 Bari, Italy