Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

2 0 0 0 OA On the Analysis of Self-Stabilizing Algorithms Using Model Checking

著者
Kimoto Masahiro キモト マサヒロ 木本 雅博
24651

言及状況

Twitter (2 users, 2 posts, 0 favorites)

http://t.co/YqdiJFKWoz カプコンの木本さんってモデル検査使った研究で学位取ってるのか。1回、話してみたいなー http://t.co/hiWYYJOk2D
1

収集済み URL リスト