WEKO3
アイテム
Formal Verification Based on Recurrence Equations and Equivalence Checking
http://hdl.handle.net/2261/0002005736
http://hdl.handle.net/2261/00020057361d174e7c-29d0-4574-ad66-150f9be3944a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
JFEUT_B_47_55-67_2000.pdf (3.3 MB)
|
|
| Item type | 紀要論文 / Departmental Bulletin Paper(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2022-10-20 | |||||||||
| タイトル | ||||||||||
| タイトル | Formal Verification Based on Recurrence Equations and Equivalence Checking | |||||||||
| 言語 | en | |||||||||
| 言語 | ||||||||||
| 言語 | eng | |||||||||
| 資源タイプ | ||||||||||
| 資源 | http://purl.org/coar/resource_type/c_6501 | |||||||||
| タイプ | departmental bulletin paper | |||||||||
| 著者 |
藤田, 昌宏
× 藤田, 昌宏
|
|||||||||
| 書誌情報 |
Journal of the School of Engineering, the University of Tokyo = 東京大学工学部・工学系研究科紀要 巻 47, p. 55-67, 発行日 2000 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | PISSN | |||||||||
| 収録物識別子 | 13442929 | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AA11279517 | |||||||||
| 出版者 | ||||||||||
| 出版者 | School of Engineering, the University of Tokyo | |||||||||
| 言語 | en | |||||||||
