1.

国際会議録
国際会議録
1. A logic for the specification and proof of controllable processes of CCS
Graf S. ; Sifakis J.
出版情報: Logics and models of concurrent systems.  pp.369-395,  1985.  Berlin.  Springer-Verlag
シリーズ名: NATO ASI series. Series F, Computer and systems sciences
シリーズ巻号: 13
2.

国際会議録
国際会議録
2. Production of Hypothetical X0-Mesons in High-Energy Channeling Reactions
Augustin J. ; Graf S. ; Greiner W. ; Muller B.
出版情報: Vacuum structure in intense fields.  pp.153-156,  1991.  New York.  Plenum Press
シリーズ名: NATO ASI series. Series B, Physics
シリーズ巻号: 255
3.

国際会議録
国際会議録
3. QED in Strong Coulomb Fields: Charged Vacuum, Atomic Clock, and Correlated, Narrow e+e--Lines
Graf S. ; Muller B. ; Stein E. ; Reinhardt J. ; Soff G. ; Greiner W.
出版情報: Vacuum structure in intense fields.  pp.119-151,  1991.  New York.  Plenum Press
シリーズ名: NATO ASI series. Series B, Physics
シリーズ巻号: 255
4.

国際会議録
国際会議録
4. Molecular biology and Neurogenetics of Myelin Proteolipid Protein (PLP)
Nave A. K. ; Schneider A. ; Readhead C. ; Griffiths I. ; Puhlohofer A. ; Bartholoma A. ; Graf S. ; Kiefer B.
出版情報: A Multidisciplinary approach to myelin diseases II.  pp.115-126,  1994.  New York.  Plenum Press
シリーズ名: NATO ASI series. Series A, Life sciences
シリーズ巻号: 258