Treffer
1 - 1
Treffer von
1
für Suche '
"Nebenläufigkeit"
'
Weiter zum Inhalt
Toggle navigation
Hilfe
de
en
de
miami
Publikationsserver der Universität Münster
Einfache Suche
Erweiterte Suche
Suchen
Scroll
Suche: "Nebenläufigkeit"
Treffer
1 - 1
Treffer von
1
für Suche '
"Nebenläufigkeit"
'
, Suchdauer: 0,05s
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 analysis of parallel programs
Lammich, Peter
2011
Schlagwörter:
“
...Model-Checking Programmanalyse
Nebenläufigkeit
Monitore dynamische Pushdown-Netzwerke...
”
Volltext
Alles auswählen
Auswahl:
Suchwerkzeuge:
RSS-Feed abonnieren
Suche einschränken
OpenAccess
Open Access
1
Dokumenttypen
Dissertation/Habilitation
1
Personen
Lammich, Peter
1
Müller-Olm, Markus
1
FB/Einrichtung
FB 10: Mathematik und Informatik
1
Schlagwörter
Model-Checking
1
Monitore
1
Nebenläufigkeit
1
Programmanalyse
1
Vorgängermengen
1
dynamische Pushdown-Netzwerke
1
Fachgebiete
Datenverarbeitung; Informatik
1
Mathematik
1
Erscheinungsjahr
2011
1
Medientypen
Text
1
×
Wird geladen...
