@inproceedings{d304fff0a1224e85802fc0cd1f149f2e,
title = "Formal verification of a leader election protocol in process algebra",
author = "J.F. Groote and L. Fredlund and H.P. Korver",
year = "1995",
language = "English",
series = "Computing Science Reports",
publisher = "Technische Universiteit Eindhoven",
pages = "285--308",
editor = "A.J. Ponse and C. Verhoef and {Vlijmen, van}, S.F.M.",
booktitle = "Proceedings 2nd Workshop on Algebra of Communicating Processes (ACP'95, Eindhoven, The Netherlands, April 1995)",
}