Merkliste 
 1 Ergebnisse 
 
1

VeriNeS : runtime verification of outsourced network ser..:

, In: Proceedings of the 36th Annual ACM Symposium on Applied Computing,