Schliessen
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
zum Inhalt
Detailsuche
Schnellsuche:
OK
Schließen
Dokumenttypen
2
Einträge für
Dissertation
Zeiträume
2
Einträge für
2001-2100
Zeiträume
2
Einträge für
2011-2020
Orte
1
Einträge für
Paderborn
Autoren / Beteiligte
2
Einträge für
Wehrheim, Heike
1
Einträge für
Giese, Holger
1
Einträge für
Hüllermeier, Eyke
1
Einträge für
Kleine Büning, Hans
1
Einträge für
Lettmann, Theodor
1
Einträge für
Ngonga Ngomo, Axel-Cyrille
1
Einträge für
Platzner, Marco
1
Einträge für
Schäfer, Wilhelm Fr.
1
Einträge für
Simon, Jens
1
Einträge für
Steenken, Dominik
1
Einträge für
Travkin, Oleg
Zeige 1 weitere
Zeige erste 10
Sprachen
2
Einträge für
Englisch
1
Einträge für
Deutsch
Bibliotheken
2
Einträge für
Sammlungen der UB Paderborn
2
Titel
in
Alle Kollektionen
Klassifikation
Schliessen
Filter
1
zu den Filteroptionen
Titel
Personen
Ort
Verlag
Jahr
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Verification of infinite-state graph transformation systems via abstraction
Steenken, Dominik
2015
Verifying concurrent programs under weak memory models
Travkin, Oleg
;
Wehrheim, Heike
;
Kleine Büning, Hans
;
Ngonga Ngomo, Axel-Cyrille
;
Platzner, Marco
;
Simon, Jens
Elektronische Ressource, Paderborn, 2017
