EbXML verification using Model Checking

Proceedings of 26th International Conference on Information Technology Interfaces, page 455--460 - 2004

BibTex references


@InProceedings{DDMP04,
author = {Eugenio {Di Sciascio} and Francesco M. Donini and Marina Mongiello and Giacomo Piscitelli},
title = "EbXML verification using Model Checking",
booktitle = "Proceedings of 26th International Conference on
Information Technology Interfaces",
pages = "455--460",
year = "2004",
publisher = "SRCE University Computing centre, University of
Zagreb",
url = "http://www-ictserv.poliba.it/publications/2004/DDM
P04"
}

Other publications in the database

SisInf Lab - Information Systems Laboratory

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