文献の詳細
| 論文の言語 | 日本語 |
|---|---|
| 著者 | 和泉 憲明, 高松 忍, 黄瀬 浩一, 福永 邦雄 |
| 論文名 | プロセス代数と様相論理を融合した並行システムの仕様記述 |
| 論文誌名 | 電子情報通信学会論文誌 |
| Vol. | J80-D-I |
| No. | 4 |
| ページ | pp.411-414 |
| 査読の有無 | 有 |
| 年月 | 1997年4月 |
- BibTeX用エントリー
@Article{和泉1997, author = {和泉 憲明 and 高松 忍 and 黄瀬 浩一 and 福永 邦雄}, title = {プロセス代数と様相論理を融合した並行システムの仕様記述}, journal = {電子情報通信学会論文誌}, year = 1997, month = apr, volume = {J80-D-I}, number = {4}, pages = {411--414} }