Email Address * *
Name
Subject *
Message * Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs - 128910056X - 9781289100568