Auflistung nach Autor Würtele, Tim
Anzeige der Treffer 5 bis 5 von 5
< zurück
| Erscheinungsdatum | Titel | Autor(en) |
|---|---|---|
| 2023 | Layered symbolic security analysis in DY* | Bhargavan, Karthikeyan; Bichhawat, Abhishek; Hosseyni, Pedram; Küsters, Ralf; Pruiksma, Klaas; Schmitz, Guido; Waldmann, Clara; Würtele, Tim |