@conference{6d8dd52e9f7a4362988eae4b8297617b,
title = "Verifying randomized Byzantine agreement",
keywords = "randomized distributed algorithms, probabilistic model checking, induction and compositional model checking",
author = "Marta Kwiatkowska and Gethin Norman",
year = "2002",
month = jan,
day = "1",
language = "English",
pages = "194--209",
note = "22nd International Conference on Formal Techniques for Networked and Distributed Systems, Nov 11-14, 2002. HOUSTON, Texas ; Conference date: 01-01-2002",
}