Showing 1 - 3 results of 3 for search 'Roberto Zunino', query time: 0.02s
Refine Results
-
1
Sound approximate and asymptotic probabilistic bisimulations for PCTL by Massimo Bartoletti, Maurizio Murgia, Roberto Zunino
Published 2023-03-01
Article -
2
Verifying liquidity of recursive Bitcoin contracts by Massimo Bartoletti, Stefano Lande, Maurizio Murgia, Roberto Zunino
Published 2022-02-01
Article -
3
Honesty by Typing by Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino
Published 2017-04-01
Article