Meiliu Lu;Du Zhang;Tadao Murata
-;-;-
Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets
IEEE Transactions on Computers