Model checking electronic commerce protocols (1996)

by Nevin Heintze , J. D. Tygar , Jeannette Wing , H. Chi Wong
Venue:In Proc. of the USENIX 1996 Workshop on Electronic Commerce
Citations:28 - 4 self