Login / Signup
Marco Blanchini
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Model Checker
Temporal Logic
Satisfiability Problem
Formal Specification Language
Top Venues
ITASEC
</>
Publications
</>
Marco Blanchini
,
Michele Cerreta
,
Davide Di Monda
,
Matteo Fabbri
,
Mario Raciti
,
Hamza Sajjad Ahmad
,
Gabriele Costa
Supporting Criminal Investigations on the Blockchain: A Temporal Logic-based Approach.
ITASEC
(2024)