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


Vol-3731/paper32⫷Vol-3731/paper33⫸Vol-3731/paper34

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