de
en
Close
Detailsuche
Bibliotheken
Projekt
Imprint
Privacy Policy
Close
Publizieren
Besondere Sammlungen
Digitalisierungsservice
Hilfe
Impressum
Datenschutz
jump to main content
Search Details
Quicksearch:
OK
Close
Authors / Collaborators
2
Entries for
Wehrheim, Heike
1
Entries for
Giese, Holger
1
Entries for
Hüllermeier, Eyke
1
Entries for
Kleine Büning, Hans
1
Entries for
Lettmann, Theodor
1
Entries for
Ngonga Ngomo, Axel-Cyrille
1
Entries for
Platzner, Marco
1
Entries for
Schäfer, Wilhelm Fr.
1
Entries for
Simon, Jens
1
Entries for
Steenken, Dominik
1
Entries for
Travkin, Oleg
Show 1 more
Show first 10
Languages
2
Entries for
English
1
Entries for
German
2
Titles
in
Klassifikation (DDC)
Classification
Close
Filters
1
jump to filter-options
Title
Persons
Place
Publisher
Year
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
All Titles
Klassifikation (DDC)
Informatik, Informationswissenschaft, allgemeine Werke
Philosophie und Psychologie
Religion
Sozialwissenschaften
Naturwissenschaften und Mathematik
Sprache
Künste und Unterhaltung
Geschichte und Geografie
Technik, Medizin, angewandte Wissenschaften
Literatur
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