1 Einträge gefunden

1. Taming message-passing communication in compositional reasoning about confidentiality

   1. Li, Ximeng
   2. Mantel, Heiko
   3. Tasch, Markus

   2017 - TUHH Open Research