Modeling and Model Checking Mobile Phone Payment Systems.

Tim Kempster, Colin Stirling

Browse the full FORTE paper archive.