Symbolic model checking for self-stabilizing algorithms

このアイテムのアクセス数:141件（2022-12-07 01:22 集計）

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

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

タイトル	Symbolic model checking for self-stabilizing algorithms
著者	NRID 1000030283740 1000030283740 著者名 Tsuchiya, Tatsuhiro
	著者名 Nagano, Shinichi
	NRID 1000030283740 1000030283740 著者名 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.12(1) p.81-p.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	application/pdf
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