Englisch

Putz, Florentin ; Haesler, Steffen ; Völkl, Thomas ; Gehring, Maximilian ; Rollshausen, Nils ; Hollick, Matthias (2024)
PairSonic: Helping Groups Securely Exchange Contact Information.
27th ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW 2024). San Jose, Costa Rica (09.11.2024-13.11.2024)
doi: 10.1145/3678884.3681818
Konferenzveröffentlichung, Bibliographie

Rollshausen, Nils (2021)
Counterexample Generation for Formal Verification of ABS.
Technische Universität Darmstadt
doi: 10.26083/tuprints-00017856
Bachelorarbeit, Erstveröffentlichung, Verlagsversion