Journal of Computing and Information Technology - -2001

Authors

Di Sciascio Eugenio, Donini Francesco M., Mongiello Marina

DOI

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

BibTex references

@Article{DDM01,
  author       = "Di Sciascio, Eugenio and Donini, Francesco M. and Mongiello, Marina",
  title        = "Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking",
  journal      = "Journal of Computing and Information Technology",
  number       = "3",
  volume       = "9",
  pages        = "185--195",
  year         = "2001",
  note         = "Invited paper",
  url          = "http://sisinflab.poliba.it/Publications/2001/DDM01"

}