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

閲覧可能ファイル 

ファイル	フォーマット	利用条件	サイズ	閲覧回数	利用開始日	説明	information
IEICE_E83-A_11_2245	pdf	なし	575 KB	133	2014.04.03

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル	Computing the Stabilization Times of Self-Stabilizing Systems
著者	著者名 Tokuda, Yusuke
	NRID 1000030283740 1000030283740 ORCID 0000-0002-3329-9235 0000-0002-3329-9235 researchmap permalink tatsuhirotsuchiya72 tatsuhirotsuchiya72 Scopus Author ID 7403030658 7403030658 著者名 Tsuchiya, Tatsuhiro
	NRID 1000050093745 1000050093745 著者名 Kikuno, Tohru
キーワード等	self-stabilization
	stabilization times
	automated analysis
	symbolic representation
	distributed algorithms
出版者	電子情報通信学会
	The Institute of Electronics, Information and Communication Engineers
	デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名	IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences
巻(号)	E83-A(11)
ページ	2245-2252
刊行年月	2000-11-25
言語	英語
ハンドルURL	https://hdl.handle.net/11094/27243
PISSN	09168508
関連情報 (references)	URI http://search.ieice.org/
アクセス権	open access
権利情報	Copyright © 2000 The Institute of Electronics, Information and Communication Engineers
出版タイプ	Version of Record
カテゴリ	学術雑誌論文 Journal Article

ホームへ戻る