Micropayment proposal with formal verification using coloured Petri nets and performance analysis on the Android platform

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

Abstract is missing.