model . checking . self-stabilizing . distributed . clock . synchronization . protocol . arbitrary . digraphs . malekpour . mahyar .
Format
Author
Status
List Price