Journal of Computing and Information Technology

Piscitelli, Giacomo

• Vol 9, No 3 (2001): Special Issue on ITI 2001 - Information Technology Interfaces - Special Issue on ITI 2001 - Information Technology Interfaces
  Automatic Support for Verification of Secure Transactions in Distributed Environment using Symbolic Model Checking
  Abstract  PDF