| Original language | Japanese |
|---|---|
| Journal | 日本ソフトウェア科学会 第9回大会論文集 |
| Publication status | Published - 1992 |
応答型並行プロセスのための時相論理式による制約を用いた部分計算法
Research output: Contribution to journal › Article
Research output: Contribution to journal › Article
| Original language | Japanese |
|---|---|
| Journal | 日本ソフトウェア科学会 第9回大会論文集 |
| Publication status | Published - 1992 |