-
1
A two-sorted logic for structurally modeling systems
Veröffentlicht in Progress in biophysics and molecular biology
VolltextArtikel -
2
-
3
Architectural support for the advanced virtual enterprise
Veröffentlicht in Computers in industry
VolltextArtikel -
4
-
5
-
6
-
7
-
8
-
9
-
10
-
11
Design of the national compact stellarator experiment (NCSX)
Veröffentlicht in Fusion engineering and design
VolltextArtikel -
12
-
13
-
14
-
15
Design of the quasi-poloidal stellarator experiment (QPS)
Veröffentlicht in Fusion engineering and design
VolltextArtikel -
16
-
17
-
18
-
19
Engineering design of the National Spherical Torus Experiment
Veröffentlicht in Fusion engineering and design
VolltextArtikel -
20