Treffer
1 - 1
Treffer von
1
für Suche '
Kenter, Sebastian
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Scroll
Person/Institution
Kenter, Sebastian
Treffer
1 - 1
Treffer von
1
für Suche '
Kenter, Sebastian
'
, Suchdauer: 0,03s
Sortieren
Relevanz
Nach Datum, absteigend
Nach Datum, aufsteigend
Person/Institution
Titel
Nach miami-Publikationsdatum, absteigend
Nach miami-Publikationsdatum, aufsteigend
Alles auswählen
Auswahl:
1
Dissertation/Habilitation
Lock-sensitive reachability analysis for parallel recursive programs with dynamic creation of threads and locks
a graph-based approach
Kenter
,
Sebastian
2022
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Ähnliche Schlagwörter
Dynamische Pushdown-Netzwerke
Graphgrammatiken
Locking
Locksensitive Erreichbarkeit
Parallele Programme
×
Wird geladen...