No. Title Author Year
1 Expressiveness and Decidability of Temporal Logics for Asynchronous Hyperproperties Bozzelli, Laura et al. 2022
2 Multi: A Formal Playground for Multi-Smart Contract Interaction Ceresa, Martín et al. 2022
3 Visibly Rational Expressions Bozzelli, Laura et al. 2012
Current Page :
Number of result pages: 1
Number of documents: 3

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI