-
1
-
2
-
3
-
4
-
5
-
6
-
7
-
8
South American Climatology and Impacts of El Niño in NCEP’s CFSR Data
Veröffentlicht in Advances in Meteorology
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
-
15
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Veröffentlicht in arXiv.org
VolltextArtikel -
16
Parameterized Verification of Disjunctive Timed Networks
Veröffentlicht in arXiv.org
VolltextArtikel -
17
-
18
-
19
Verweilzeitverteilung von Schwerkraftmischern
Veröffentlicht in Chemie ingenieur technik
VolltextArtikel -
20