Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter. Comparing BDD and SAT Based Techniques for Model Checking Chaum s Dining Cryptographers Protocol. Fundamenta Informaticae, 72(1-3):215-234, 2006. [doi]
Abstract is missing.