Treffer
1 - 1
Treffer von
1
für Suche '
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Behalte die Filtereinstellungen.
topic_facet:"Locking"
ulb_DocumentType_facet:"Dissertation/Habilitation"
ulb_affiliation_facet:"FB 10: Mathematik und Informatik"
ulb_deweyTerm_facet:"Mathematik"
ulb_openAccess:"Open Access"
Scroll
Suche:
Treffer
1 - 1
Treffer von
1
für Suche '
'
, Suchdauer: 0,04s
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
Suche einschränken
Suchfilter entfernen
Filter aufheben
Schlagwörter: Locking
Filter aufheben
Dokumenttypen: Dissertation/Habilitation
Filter aufheben
FB/Einrichtung: FB 10: Mathematik und Informatik
Filter aufheben
Fachgebiete: Mathematik
Filter aufheben
OpenAccess: Open Access
OpenAccess
Open Access
Dokumenttypen
Dissertation/Habilitation
Personen
Kenter, Sebastian
1
Müller-Olm, Markus
1
FB/Einrichtung
FB 10: Mathematik und Informatik
Schlagwörter
Dynamische Pushdown-Netzwerke
1
Graphgrammatiken
1
Locking
Locksensitive Erreichbarkeit
1
Parallele Programme
1
Fachgebiete
Mathematik
Erscheinungsjahr
2022
1
Medientypen
Text
1
×
Wird geladen...