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.

Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
PatEC: Pattern-Based Equivalence Checking.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021)
doi: 10.1007/978-3-030-84629-9_7
Konferenzveröffentlichung, Bibliographie

Wiesner, Maik ; Jakobs, Marie-Christine
Hrsg.: Laarman, Alfons ; Sokolova, Ana (2021)
Verifying Pipeline Implementations in OpenMP.
27th International Symposium on Model Checking Software (SPIN 2021). virtual Conference (12.07.2021)
doi: 10.1007/978-3-030-84629-9_5
Konferenzveröffentlichung, Bibliographie

Diese Liste wurde am Tue Mar 26 04:21:41 2024 CET generiert.