Andreu Pere Isern-Deyà, Magdalena Payeras-Capellà, Macià Mut Puigserver, Josep Lluís Ferrer-Gomila, Llorenç Huguet i Rotger. Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform. IJBIDM, 8(1):74-104, 2013. [doi]
@article{Isern-DeyaPPFR13,
title = {Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform},
author = {Andreu Pere Isern-Deyà and Magdalena Payeras-Capellà and Macià Mut Puigserver and Josep Lluís Ferrer-Gomila and Llorenç Huguet i Rotger},
year = {2013},
doi = {10.1504/IJBIDM.2013.055786},
url = {http://dx.doi.org/10.1504/IJBIDM.2013.055786},
researchr = {https://researchr.org/publication/Isern-DeyaPPFR13},
cites = {0},
citedby = {0},
journal = {IJBIDM},
volume = {8},
number = {1},
pages = {74-104},
}