WEKO3
-
RootNode
アイテム
一二の並行プロセスの検証問題について
https://ipsj.ixsq.nii.ac.jp/records/238930
https://ipsj.ixsq.nii.ac.jp/records/238930e5c2e9b9-d675-432c-9e56-e24fc035fb3c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1993013.pdf (12.6 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1993-01-12 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | 一二の並行プロセスの検証問題について | |||||||||||||
| タイトル | ||||||||||||||
| 言語 | en | |||||||||||||
| タイトル | Two examples of verification of parallel processes | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学電子・情報工学系 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学電子・情報工学系 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学工学研究科 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学電子・情報工学系 | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Institute of Information Sciences and Electronics, University of Tsukuba | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Institute of Information Sciences and Electronics, University of Tsukuba | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Doctoral Program in Engineering, University of Tsukuba | ||||||||||||||
| 著者所属(英) | ||||||||||||||
| en | ||||||||||||||
| Institute of Information Sciences and Electronics, University of Tsukuba | ||||||||||||||
| 著者名 |
水谷, 哲也
× 水谷, 哲也
× 五十嵐, 滋
× 小宮山, 弘樹
× 辻, 尚史
|
|||||||||||||
| 著者名(英) |
Mizutani, Tetsuya
× Mizutani, Tetsuya
× Igarashi, Shigeru
× Komiyama, Hiroki
× Tsuji, Takashi
|
|||||||||||||
| 書誌情報 |
第34回プログラミング・シンポジウム報告集 巻 1993, p. 105-116, 発行日 1993-01-12 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
