Vol-3730⫷ Vol-3731 ⫸Vol-3732
urn:nbn:de:0074-3731-0


Vol-3731/paper32⫷Vol-3731/paper33⫸Vol-3731/paper34
Marco BlanchiniMichele CerretaDavide Di MondaMatteo FabbriMario RacitiHamza Sajjad AhmadGabriele Costa 0001

Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach