Laurent Cuennet, Marc Pouly, Sasa Radomirovic. Guided Specification and Analysis of a Loyalty Card System. In Sjouke Mauw, Barbara Kordy, Sushil Jajodia, editors, Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers. Volume 9390 of Lecture Notes in Computer Science, pages 66-81, Springer, 2015. [doi]
@inproceedings{CuennetPR15,
title = {Guided Specification and Analysis of a Loyalty Card System},
author = {Laurent Cuennet and Marc Pouly and Sasa Radomirovic},
year = {2015},
doi = {10.1007/978-3-319-29968-6_5},
url = {http://dx.doi.org/10.1007/978-3-319-29968-6_5},
researchr = {https://researchr.org/publication/CuennetPR15},
cites = {0},
citedby = {0},
pages = {66-81},
booktitle = {Graphical Models for Security - Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers},
editor = {Sjouke Mauw and Barbara Kordy and Sushil Jajodia},
volume = {9390},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-319-29967-9},
}