@inproceedings {260569,
	author = {Nevin Heintze and J.D. Tygar and Jeannette Wing and H. C. Wong},
	title = {Model Checking Electronic Commerce Protocols},
	booktitle = {2nd USENIX Workshop on Electronic Commerce (EC 96)},
	year = {1996},
	address = {Oakland, CA},
	url = {https://www.usenix.org/conference/2nd-usenix-workshop-electronic-commerce/model-checking-electronic-commerce-protocols},
	publisher = {USENIX Association},
	month = nov
}
