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

Number of Access:510（2025-09-03 10:25 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/3170

File	Format	Terms of use	Size	Views	Date.Available	Description	information
00899941	pdf	None	557 KB	450	2012.09.22

Title	Symbolic model checking for self-stabilizing algorithms
Creator	NRID 1000030283740 1000030283740 ORCID 0000-0002-3329-9235 0000-0002-3329-9235 researchmap permalink tatsuhirotsuchiya72 tatsuhirotsuchiya72 Scopus Author ID 7403030658 7403030658 CreatorName Tsuchiya, Tatsuhiro
	CreatorName Nagano, Shinichi
	CreatorName Paidi, Rohayu Bt
	NRID 1000050093745 1000050093745 CreatorName Kikuno, Tohru
Publisher	IEEE
Source Title	IEEE Transactions on Parallel and Distributed Systems
Volume (Issue)	12(1)
Page	81-94
Date of Issued	2001-01
Language	English
Handle URL	https://hdl.handle.net/11094/3170
PISSN	10459219
NCID	AA10736056
Relation.isIdenticalTo	DOI (Publisher Version) https://doi.org/10.1109/71.899941
Access Rights	open access
CopyRight	©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..
oaire:version	Version of Record
Category	学術雑誌論文 Journal Article

Resource Type	journal article
Local Type	Journal Article
DCMI Type	Text
Date.Created	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	English
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	English
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