Comparing BDD and SAT Based Techniques for Model Checking Chaum s Dining Cryptographers Protocol - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Magdalena Kacprzak' in GoogleThis author has not been identified. Look up 'Alessio Lomuscio' in GoogleThis author has not been identified. Look up 'Artur Niewiadomski' in GoogleThis author has not been identified. Look up 'Wojciech Penczek' in GoogleThis author has not been identified. Look up 'Franco Raimondi' in GoogleThis author has not been identified. Look up 'Maciej Szreter' in Google

runs on WebDSL