• Top
  • Details (Local collection)
分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として

分散アルゴリズムのCCSによる記述と形式的検証 : ネットワークグラフ同定問題を例として

ブンサン アルゴリズム ノ CCS ニヨル キジュツ ト ケイシキテキ ケンショウ : ネットワーク グラフ ドウテイ モンダイ オ レイ トシテ

鍵本聡

生駒 : 奈良先端科学技術大学院大学, 1999.3

Thesis / Diss.

Volume No.

Total: 1
No. Printing year Location Call Number Material ID Circulation class Status Waiting

1

R000871

2

  • [IS]1999(3)

Restricted

Details

Publication year

1999

Series title

奈良先端科学技術大学院大学情報科学研究科修士論文 ; 1999年3月

Note

学位記番号: 修第905号

授与年月日: 1999/03/24

学位の種類: 修士(工学)

学生番号: 9751028

Country of publication

Japan

Title language

Japanese (jpn)

Language of texts

Japanese (jpn)

Author information

鍵本, 聡 (1966-) (カギモト, サトシ) [ Kagimoto, Satoshi ] [ Kagimoto, Satosi ]

Subject

分散アルゴリズム

プロセス代数

CCS

様相μ計算

Tableau Proof