Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems
by Mahyar R. Malekpour
| Publisher: | Unknows |
| Published In: | 06-Aug-2013 |
| ISBN-10: | 1289282870 |
| ISBN-13: | 9781289282875 |
| Binding Type: | Paperback |
| Weight: | 118 gms |
| Pages: | pp. 40, 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 Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems" is written by Mahyar R. Malekpour. This book was published in the year 0620. The ISBN number 1289282870|9781289282875 is assigned to the Paperback version of this title. This book has total of pp. 40 (Pages). The publisher of this title is Unknows. Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems is currently Not Available with us.You can enquire about this book and we will let you know the availability.