Merkliste 
 1 Ergebnisse 
 
1

A process calculus for privacy-preserving protocols in loca..:

Bavendiek, Kai ; Schupp, Sibylle
Journal of Logical and Algebraic Methods in Programming.  125 (2022)  - p. 100735 , 2022