EbXML verification using Model Checking

EbXML verification using Model Checking

Proceedings of 26th International Conference on Information Technology Interfaces - -2004

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina, Piscitelli Giacomo

DOI

https://doi.org/10.2498/cit.2001.03.03

BibTex references

@InProceedings{DDMP04,
  author       = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina and Piscitelli, Giacomo",
  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://sisinflab.poliba.it/Publications/2004/DDMP04"

}