Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs
by Mahyar R. Malekpour
| Publisher: | Unknown |
| Published In: | 27-Jun-2013 |
| ISBN-10: | 128910056X |
| ISBN-13: | 9781289100568 |
| Binding Type: | Paperback |
| Weight: | 107 gms |
| Pages: | pp. 34, 50:B&W 7.44 x 9.69 in or 246 x 189 mm (Crown 4vo) Perfect Bound on White w/Gloss |
The Title "Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs" is written by Mahyar R. Malekpour. This book was published in the year 2720. The ISBN number 128910056X|9781289100568 is assigned to the Paperback version of this title. This book has total of pp. 34 (Pages). The publisher of this title is Unknown. Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs is currently Not Available with us.You can enquire about this book and we will let you know the availability.