Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs

by National Aeronautics and Space Adm Nasa

0 ratings • 0 reviews • 0 shelved
Book cover for Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs
Shelve It

Bookhype may earn a small commission from qualifying purchases. Full disclosure.

  • ISBN10 1793960577
  • ISBN13 9781793960573
  • Publish Date 13 January 2019
  • Publish Status Temporarily Withdrawn
  • Imprint Independently Published
  • Format Paperback (US Trade)
  • Pages 32
  • Language English