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]
Abstract is missing.