線形論理を用いた並行プロセスの動的改造手法

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)357-360
Number of pages4
Journal日本ソフトウェア科学会第15回大会論文集
Publication statusPublished - 1998

Cite this