代数的並行プロセス自動合成のための時制論理に基づいた新しい方法論の開発
著者
書誌事項
代数的並行プロセス自動合成のための時制論理に基づいた新しい方法論の開発
（科学研究費補助金(一般研究C)研究成果報告書, 平成5-6年度）
[富樫敦], 1996.3
- タイトル読み
-
ダイスウテキ ヘイコウ プロセス ジドウ ゴウセイ ノタメノ ジセイ ロンリ ニ モトズイタ アタラシイ ホウホウロン ノ カイハツ
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
課題番号: 05680262
平成5年度～平成6年度文部省科学研究費補助金(一般研究(C))研究成果報告書
