I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Resource-Aware Session Types for Digital Contracts:

, In: 2021 IEEE 34th Computer Security Foundations Symposium (CSF),
Das, Ankush ; Balzer, Stephanie ; Hoffmann, Jan.. - p. 1-16 , 2021
Link: https://doi.org/10.1109/CSF51468.2021.00004