応答型並行プロセスのための時相論理式による制約を用いた部分計算法

Research output: Contribution to journalArticle

Original languageJapanese
Journal日本ソフトウェア科学会 第9回大会論文集
Publication statusPublished - 1992

Cite this

@article{e3fcb317936b43068fe4e22ee2e84901,
title = "応答型並行プロセスのための時相論理式による制約を用いた部分計算法",
author = "Masaki Murakami",
year = "1992",
language = "Japanese",
journal = "日本ソフトウェア科学会 第9回大会論文集",

}

TY - JOUR

T1 - 応答型並行プロセスのための時相論理式による制約を用いた部分計算法

AU - Murakami, Masaki

PY - 1992

Y1 - 1992

M3 - Article

JO - 日本ソフトウェア科学会 第9回大会論文集

JF - 日本ソフトウェア科学会 第9回大会論文集

ER -