このアイテムのアクセス数:189件（2023-12-09 23:01 集計）

このアイテムへのリンクには次のURLをご利用ください: https://hdl.handle.net/11094/3170

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明
00899941 pdf なし 557 KB 340 2012.09.22

論文情報

ファイル出力

タイトル
Symbolic model checking for self-stabilizing algorithms
著者
NRID
1000030283740 1000030283740
ORCID
0000-0002-3329-9235 0000-0002-3329-9235
researchmap permalink
tatsuhirotsuchiya72 tatsuhirotsuchiya72
Scopus Author ID
7403030658 7403030658
著者名
Tsuchiya, Tatsuhiro
著者名
Nagano, Shinichi
著者名
Paidi, Rohayu Bt
NRID
1000050093745 1000050093745
著者名
Kikuno, Tohru
出版者
IEEE
収録物名
IEEE Transactions on Parallel and Distributed Systems
巻(号)
12(1)
ページ
81-94
刊行年月
2001-01
言語
英語
ハンドルURL
https://hdl.handle.net/11094/3170
PISSN
10459219
NCID
AA10736056
関連情報 (isIdenticalTo)
DOI (出版社版)
https://doi.org/10.1109/71.899941
アクセス権
open access
権利情報
©2001 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE..
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article