Trustworthy Intelligent Systems
Home
Members
Research
Publications
Projects
Teaching
Discrete Mathematics
Formal Methods
Reinforcement Learning
Algorithms Design and Analysis
Contacts
Sino-Europe Institute
Details for the publication FengZ13.
Yuan Feng
(
)
,
Lijun Zhang
:
A tighter bound for the self-stabilization time in Herman's algorithm
. In
Inf. Process. Lett.
113(13):486-488, 2013.
DOI
BIB