-
1
-
2
Satisfiability checking and symbolic computation
Veröffentlicht in ACM communications in computer algebra
VolltextArtikel -
3
Erratum to: Study of B s 0 $$ {\ rm{s}}^0 $$ → J/ψπ+π − K+K − decays
Veröffentlicht in The journal of high energy physics
VolltextArtikel -
4
-
5
-
6
Observation of the B s 0 $$ {B}_s^0 $$ → D ± D ∓ decay
Veröffentlicht in The journal of high energy physics
VolltextArtikel -
7
Study of B s 0 $$ {\ rm{s}}^0 $$ → J/ψπ+π − K+K − decays
Veröffentlicht in The journal of high energy physics
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14