Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel. Mondex: Engineering a Provable Secure Electronic Purse. Int. J. Software and Informatics, 5(1-2):159-184, 2011. [doi]
@article{HanebergMRSS11,
title = {Mondex: Engineering a Provable Secure Electronic Purse},
author = {Dominik Haneberg and Nina Moebius and Wolfgang Reif and Gerhard Schellhorn and Kurt Stenzel},
year = {2011},
url = {http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i80},
researchr = {https://researchr.org/publication/HanebergMRSS11},
cites = {0},
citedby = {0},
journal = {Int. J. Software and Informatics},
volume = {5},
number = {1-2},
pages = {159-184},
}