85-22 並行プログラムにおける不変性と生存性についての証明原理

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1985-07-15

著者

• 五十嵐 實子

  電総研

関連論文

• 85-22 並行プログラムにおける不変性と生存性についての証明原理

スポンサーリンク