Mahyar R Malekpour

Mahyar R Malekpour is the author of "Model Checking a Self-Stabilizing Distributed Clock Synchronization Protocol for Arbitrary Digraphs" and "Model Checking a Byzantine-Fault-Tolerant Self-Stabilizing Protocol for Distributed Clock Synchronization Systems".

Books by Mahyar R Malekpour

Model Checking a ...
Malekpour, Mahyar R.
Paperback:

Model Checking a ...
Malekpour, Mahyar R.
Paperback: $15.75