Formal verification of a leader election protocol in process algebra
Fredlund, Lars-åke, Groote, Jan Friso, Korver, Henri
Published in Theoretical computer science (15.05.1997)
Published in Theoretical computer science (15.05.1997)
Get full text
Journal Article