Available with Digitized Contents Transmission Service
Find on the publisher's website
国立国会図書館デジタルコレクション
Available for viewing via the Digitized Contents Transmission Service for Individuals to official registered users of the NDL, who resides in Japan.
Search by Bookstore
Read this material in an accessible format.
Table of Contents
論文目録
Abstract
p1
Contents
p3
1 Introduction
p1
1.1 Formal verification
p1
Search by Bookstore
Read in Disability Resources
- プレーンテキスト
Registered users of Mina Search can download or stream this content.
Bibliographic Record
You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.
- Material Type
- 博士論文
- Author/Editor
- Bin Zhou [著]
- Author Heading
- 周, 斌 シュウ, ピン
- Publication, Distribution, etc.
- Publication Date
- 2001
- Publication Date (W3CDTF)
- 2001
- Extent
- 1冊
- Alternative Title
- Conformance checkingによる有限幅遅延モデルにおける非同期式回路の階層的検証に関する研究 Conformance checking ニ ヨル ユウゲンハバ チエン モデル ニ オケル ヒドウキシキ カイロ ノ カイソウテキ ケンショウ ニ カンスル ケンキュウ
- Degree grantor/type
- 東京工業大学