Weiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 393-412, Springer, 2007. [doi]
@inproceedings{KongOF07,
title = {Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System},
author = {Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi},
year = {2007},
doi = {10.1007/978-3-540-73210-5_21},
url = {http://dx.doi.org/10.1007/978-3-540-73210-5_21},
tags = {analysis, algebra, systematic-approach},
researchr = {https://researchr.org/publication/KongOF07},
cites = {0},
citedby = {0},
pages = {393-412},
booktitle = {Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings},
editor = {Jim Davies and Jeremy Gibbons},
volume = {4591},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-73209-9},
}