Volume: Vol-3731 ITASEC 2024 | Year: 2024

Paper: « paper32 | paper33 | paper34 »

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

Matteo Fabbri dblp
Gabriele Costa 0001 ORCID dblp
Michele Cerreta dblp
Marco Blanchini dblp
Hamza Sajjad Ahmad dblp
Mario Raciti ORCID dblp Wikidata
Davide Di Monda dblp