ようこそ ゲスト さん
雑誌ブラウズ
雑誌 全て
大阪大学 刊行物
ランキング
アクセスランキング
ダウンロードランキング
博士論文のみをさがす
このアイテムのアクセス数:
93
件
(
2021-01-27
12:15 集計
)
このアイテムへのリンクには次のURLをご利用ください:http://hdl.handle.net/11094/3170
閲覧可能ファイル
ファイル
フォーマット
サイズ
閲覧回数
説明
00899941
pdf
557 KB
209
論文情報
タイトル
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
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.publisher
IEEE
DC.language" scheme="DCTERMS.RFC1766
英語
DCTERMS.issued" scheme="DCTERMS.W3CDTF
2001-01
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_public_url
http://hdl.handle.net/11094/3170