-
1
-
2
-
3
-
4
ESBMC-GPU A context-bounded model checking tool to verify CUDA programs
Veröffentlicht in Science of computer programming
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
-
11
Testing a Conceptual Model of Soil Emissions of Nitrous and Nitric Oxides
Veröffentlicht in Bioscience
VolltextArtikel -
12
The molecular elasticity of the extracellular matrix protein tenascin
Veröffentlicht in Nature (London)
VolltextArtikel -
13
-
14
-
15
-
16
Culture, Class, and Connections
Veröffentlicht in The American journal of sociology
VolltextArtikel -
17
-
18
A method to localize faults in concurrent C programs
Veröffentlicht in The Journal of systems and software
VolltextArtikel -
19
-
20