Theoretical aspects of verification systems based on timed logic

Theoretical aspects of verification systems based on timed logic

Hidetomo Machi

[Tsukuba] : [s.n.], [2007]

図書等

巻号情報

No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

DB02279-2006

10007007219

本学論文

詳細情報

刊年

2007

形態

72 leaves ; 31 cm

注記

"March, 2007"

Thesis (Ph. D. in Engineering)--University of Tsukuba, (B), no. 2279, 2007.3.23

Includes bibliographical references (leaves 68-70)

出版国

日本

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

町, 英朋 (マチ, ヒデトモ)

分類

CAL:DB02279

NDC9:410