Temporal logics for real-time system specification
- 期刊名称ACM Computing Surveys
- 作者Bellini, P.; Mattolini, R.; Nesi, P.
- 卷第32卷
- 期第1期
- 印刷ISSN0360-0300
- 文件大小227.80KB
- 发表时间2000-3-1
- DOI10.1145/349194.349197
- 页码12-42
Influence of the Air-Gap on Surface Density GaugeUemura, Teiji · Japanese Journal of Applied Physics · 1968
Observations of Backscattered Gamma-Rays in a Surface Density GaugeUemura, Teiji · Japanese Journal of Applied Physics · 1965
Thrombolysis and angioplasty for acute occlusion of intracranial vertebrobasilar arteriesNakayama, Teiji; Tanaka, Keisei; Kaneko, Mitsuo; Yokoyama, Tetsuo; Uemura, Kenichi · Journal of Neurosurgery · 1998
Improvement of UV Intensity Maintenance of Electrodeless UV Lamp by Reducing Coil VoltageYokozeki, Ichiro; Yoshikawa, Kazuhiko; Shimokawa, Teiji; Uemura, Kozo · 2002
The Response of the Gamma-Ray Density Gauge to the Boundary between Two MaterialsUemura, Teiji · Japanese Journal of Applied Physics · 1970
Guidelines for catheter intervention in coronary artery lesion in Kawasaki diseaseMasahiro Ishii; Takafumi Ueno; Teiji Akagi; Kiyoshi Baba; Kensuke Harada; Kenji Hamaoka; Hitoshi Kato; Etsuko Tsuda; Shigeru Uemura; Tsutomu Saji; Shunichi Ogawa; Shigeyuki Echigo; Tetsu Yamaguchi; Hirohisa Kato; Labour; Welfare –‘Study Of Treatment; Long-Term Management In Kawasaki Disease’ Chairman: Hirohisa Kato) · 2001
Spectral Emissivity of SiliconSatō, Tsutomu · Japanese Journal of Applied Physics · 1967
Surface Acoustic Wave SensorsShiokawa, Showko; Kondoh, Jun · Japanese Journal of Applied Physics · 2004
Perspectives in SonochemistryAndo, Takashi; Kimura, Takahide · Japanese Journal of Applied Physics · 2003
Structurally Stable Hyperbolic BeamChakraborty, Rijuparna; Ghosh, Ajay · Japanese Journal of Applied Physics · 2009
Peierls Phase TransitionKagoshima, Seiichi · Japanese Journal of Applied Physics · 1981
Piezoelectric Tensor of KNbO <sub/>3</sub>Günter, P. · Japanese Journal of Applied Physics · 1977
Plasma Anodic Oxidation of InPFuyuki, Takashi; Moriuchi, Sohta; Matsunami, Hiroyuki · Japanese Journal of Applied Physics · 1983
Linearity Characteristics of Multiplier PhototubesNonaka, Mamoru; Kashima, Takeo · Japanese Journal of Applied Physics · 1963