-
1
-
2
Linear Temporal Logic Specification of Bounded Counter Machines
Veröffentlicht in Automatic control and computer sciences
VolltextArtikel -
3
LTL-Specification of Counter Machines
Veröffentlicht in Automatic control and computer sciences
VolltextArtikel -
4
-
5
-
6
-
7
-
8
High-NA Focusing of Ultrashort Laser Pulses in Bulk of ZnSe
Veröffentlicht in Optics and spectroscopy
VolltextArtikel -
9
-
10
-
11
Hybrid magnetoelectric converter
Veröffentlicht in Journal of physics. Conference series
VolltextArtikel -
12
-
13
-
14
-
15
The study of microwave range energy harvesting device
Veröffentlicht in Journal of physics. Conference series
VolltextArtikel -
16
-
17
-
18
-
19
-
20