-
1
Proving sequential function chart programs using timed automata
Veröffentlicht in Theoretical computer science
VolltextArtikel -
2
-
3
-
4
-
5
-
6
-
7
-
8
Two Proof Methods for The Grafcet Language
Veröffentlicht in IFAC Proceedings Volumes
VolltextArtikel -
9
-
10
-
11
-
12
-
13
-
14
Fermi level shift in carbon nanotubes by dye confinement
Veröffentlicht in Carbon (New York)
VolltextArtikel -
15
-
16
Ultrastable phonon frequencies in α-quartz-type BPO4 at high temperature
Veröffentlicht in Applied physics letters
VolltextArtikel -
17
-
18
Chromophore Ordering by Confinement into Carbon Nanotubes
Veröffentlicht in Journal of physical chemistry. C
VolltextArtikel -
19
Ultrastable phonon frequencies in α -quartz-type BPO 4 at high temperature
Veröffentlicht in Applied physics letters
VolltextArtikel -
20