-
1
-
2
-
3
Formal Methods in Railways: A Systematic Mapping Study
Veröffentlicht in ACM computing surveys
VolltextArtikel -
4
-
5
Event-separation properties of event-triggered control systems
Veröffentlicht in IEEE transactions on automatic control
VolltextArtikel -
6
-
7
-
8
-
9
-
10
Advances in targeting cyclic nucleotide phosphodiesterases
Veröffentlicht in Nature reviews. Drug discovery
VolltextArtikel -
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
A quantum of information in black hole evaporation
Veröffentlicht in Classical and quantum gravity
VolltextArtikel -
19
-
20