Blank Cover Image

Time-space modal logic for verification of bit-slice circuits

著者名:
Hiraishi,H. ( Kyoto Sangyo Univ. )  
掲載資料名:
Computer-aided design and computer graphics : Fourth International Conference on Computer-Aided Design and Computer Graphics : 23-25 October, 1995, Wuhan, China
シリーズ名:
Proceedings of SPIE - the International Society for Optical Engineering
シリーズ巻号:
2644
発行年:
1996
開始ページ:
483
終了ページ:
488
出版情報:
Bellingham, Wash., USA: SPIE-The International Society for Optical Engineering
ISSN:
0277786X
ISBN:
9780819420152 [0819420158]
言語:
英語
請求記号:
P63600/2644
資料種別:
国際会議録

類似資料:

1 国際会議録 Branching Space-Time, Modal Logic and the Counterfactual Conditional

Mueller, Thomas

Kluwer Academic Publishers
7 国際会議録 A New Challenge of Polymer Thermoelectric Materials as Ecomaterials

Y. Shinohara, Y. Imai, Y. Isoda, K. Hiraishi, H. Nakanishi

Trans Tech Publications
2 国際会議録 SOUIDS in Josephson Logic Circuits

Jackel H.

Plenum Press
8 国際会議録 Rate distortion optimized slicing over bit error channels

Harmanici, O., Tekalp, A. M.

SPIE - The International Society of Optical Engineering
3 国際会議録 Logic Verification, Testing and their Relationship to Logic Synthesis

Devadas S., Ma T. K. H.

Kluwer Academic Publishers
9 国際会議録 Resolution modal logics

Farinas-del-Cerro L.

Springer-Verlag
4 国際会議録 Logics for regular languages, finite monoids, and circuit complexity

Straubing. H, Therien. D, Thomas. W

Kluwer Academic Publishers
10 国際会議録 Uncertainty Theories by Modal Logic

Resconi G.

Springr
5 国際会議録 High-Performance Liquid Crystalline Polymer Printed Circuits

Hiraishi, katsufumi, Ueda, Kazunori, Takata, Katsumi, Takarabe, Isamu

SPIE-The International Society for Optical Engineering
11 国際会議録 INVITED: SILICON SINGLE-ELECTRON TRANSISTORS AND THEIR APPLICATIONS TO LOGIC CIRCUITS

Takahashi, Y., Ono, Y., Fujiwara, A., Inokawa, H.

Electrochemical Society
6 国際会議録 NMOS LOGIC CIRCUITS IN LASER-CRYSTALLIEZ SILICON QUARTZ

Chiang, A., Zarzycki, M. H., Meuli, W. P., Johnson, N. M.

North-Holland
12 国際会議録 INVITED: SILICON SINGLE-ELECTRON TRANSISTORS AND THEIR APPLICATIONS TO LOGIC CIRCUITS

Takahashi, Y., Ono, Y., Fujiwara, A., Inokawa, H.

Electrochemical Society
1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12