@inproceedings {270467,
	author = {Gennady Chugunov and Lars-{\r A}ke Fredlund and Dilian Gurov},
	title = {Model Checking of {Multi-Applet} {JavaCard} Applications},
	booktitle = {5th Smart Card Research and Advanced Application Conference (CARDIS 02)},
	year = {2002},
	address = {San Jose, CA},
	url = {https://www.usenix.org/conference/cardis-02/model-checking-multi-applet-javacard-applications},
	publisher = {USENIX Association},
	month = nov
}
