Symbolic model checking for self-stabilizing algorithms

Tsuchiya, Tatsuhiro; Nagano, Shinichi; Paidi, Rohayu Bt et al.

IEEE Transactions on Parallel and Distributed Systems, 2001, 12(1), 81-94

アクセス数:494件（2025-07-06 14:27 集計）

固定URL: https://hdl.handle.net/11094/3170

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
00899941	pdf	なし	557 KB	437	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

資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
DCMI資源タイプ	text
作成日	2001-01
DCTERMS.bibliographicCitation	IEEE Transactions on Parallel and Distributed Systems. 2001, 12(1), p. 81-94
DC.title	Symbolic model checking for self-stabilizing algorithms
DC.creator	Tsuchiya, Tatsuhiro
	Nagano, Shinichi
	Paidi, Rohayu Bt
	Kikuno, Tohru
DC.publisher	IEEE
DC.language' scheme='DCTERMS.RFC1766	英語
DC.type' scheme='DCTERMS.DCMIType	text
DCTERMS.issued' scheme='DCTERMS.W3CDTF	2001-01
DC.identifier	https://doi.org/10.1109/71.899941
DC.rights	©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..
DC.format	3170
citation_title	Symbolic model checking for self-stabilizing algorithms
citation_author	Tsuchiya, Tatsuhiro
	Nagano, Shinichi
	Paidi, Rohayu Bt
	Kikuno, Tohru
citation_publisher	IEEE
citation_language	英語
citation_date	2001-01
citation_journal_title	IEEE Transactions on Parallel and Distributed Systems
citation_volume	12
citation_issue	1
citation_firstpage	81
citation_lastpage	94
citation_doi	https://doi.org/10.1109/71.899941
citation_public_url	https://hdl.handle.net/11094/3170