Symbolic model checking for self-stabilizing algorithms

このアイテムのアクセス数:137件（2022-06-27 07:35 集計）

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

ファイル	フォーマット	サイズ	閲覧回数	説明
00899941	pdf	557 KB	278

タイトル	Symbolic model checking for self-stabilizing algorithms
著者	Paidi, Rohayu Bt Paidi, Rohayu Bt
	Nagano, Shinichi Nagano, Shinichi
	Tsuchiya, Tatsuhiro Tsuchiya, Tatsuhiro
	Kikuno, Tohru Kikuno, Tohru
著者の別表記	菊野, 亨
著者の別表記	土屋, 達弘
著者 (ヨミ)	ツチヤ, タツヒロ
著者 (ヨミ)	キクノ, トオル
公開者	IEEE
掲載誌名	IEEE Transactions on Parallel and Distributed Systems
巻	12
号	1
開始ページ	81
終了ページ	94
刊行年月	2001-01
DOI (出版社版)	info:doi/10.1109/71.899941
URL	http://hdl.handle.net/11094/3170
権利情報	©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..
言語	英語
カテゴリ	学術雑誌論文 Journal Article

著者版フラグ	publisher
NII資源タイプ	学術雑誌論文
ローカル資源タイプ	学術雑誌論文
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	Paidi, Rohayu Bt
	Nagano, Shinichi
	Tsuchiya, Tatsuhiro
	Kikuno, Tohru
DC.creator	菊野, 亨
DC.creator	土屋, 達弘
DC.publisher	IEEE
DC.language" scheme="DCTERMS.RFC1766	英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF	2001-01
DC.identifier	info:doi/10.1109/71.899941
DC.identifier" scheme="DCTERMS.URI	http://hdl.handle.net/11094/3170
DC.date" scheme="DCTERMS.W3CDTF	2001-01
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..
citation_title	Symbolic model checking for self-stabilizing algorithms
citation_author	Paidi, Rohayu Bt
	Nagano, Shinichi
	Tsuchiya, Tatsuhiro
	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	info:doi/10.1109/71.899941
citation_public_url	http://hdl.handle.net/11094/3170