Formal verification of a distributed master election protocol

Sorry, there's nothing here.

Cite this paper

@inproceedings{Cena2012FormalVO, title={Formal verification of a distributed master election protocol}, author={Gianluca Cena and Ivan Cibrario Bertolotti and Tingting Hu}, booktitle={WFCS}, year={2012} }