-
1
-
2
-
3
-
4
Specifying real-time behavior in HP-SL
Veröffentlicht in Hewlett-Packard journal
VolltextMagazinearticle -
5
Specifying an electronic mail system with HP-SL
Veröffentlicht in Hewlett-Packard journal
VolltextMagazinearticle -
6
Rigorous software engineering: a method for preventing software defects
Veröffentlicht in Hewlett-Packard journal
VolltextMagazinearticle -
7
Gate Controlled Three-Terminal Metal Oxide Memristor
Veröffentlicht in IEEE electron device letters
VolltextArtikel -
8
Monoclonal 1- and 3-Phosphohistidine Antibodies: New Tools to Study Histidine Phosphorylation
Veröffentlicht in Cell
VolltextArtikel -
9
-
10
-
11
-
12
-
13
The impact of CREBRF rs373863828 Pacific-variant on infant body composition
Veröffentlicht in Scientific reports
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
-
20