TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 2.

Konferenzveröffentlichung

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

Bachelorarbeit

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

Diese Liste wurde am Tue Dec 3 03:54:12 2024 CET generiert.