-
1
Design of RF front end of digital BPM for BEPCII
Veröffentlicht in Radiation detection technology and methods
VolltextArtikel -
2
-
3
-
4
Source-to-source conversion based on formal definition
Veröffentlicht in Journal of computer science and technology
VolltextArtikel -
5
-
6
-
7
An approach to executable specifications, based on formal source-to-source conversion
Veröffentlicht in SIGPLAN notices
VolltextArtikel -
8
-
9
-
10
-
11
-
12
-
13
-
14
-
15
-
16
-
17
-
18
-
19
-
20
3D Directional Assembly of Liquid Crystal Molecules
Veröffentlicht in Advanced materials (Weinheim)
VolltextArtikel