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]
@article{KacprzakLNPRS06,
title = {Comparing BDD and SAT Based Techniques for Model Checking Chaum s Dining Cryptographers Protocol},
author = {Magdalena Kacprzak and Alessio Lomuscio and Artur Niewiadomski and Wojciech Penczek and Franco Raimondi and Maciej Szreter},
year = {2006},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=72&issue=1&spage=215},
tags = {model checking, meta-model, protocol, Meta-Environment},
researchr = {https://researchr.org/publication/KacprzakLNPRS06},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {72},
number = {1-3},
pages = {215-234},
}