Verifying a Distributed List System: a Case History

Verifying a Distributed List System: a Case History

Authors
S. Krogdahl and O. Lysne