UCL Discovery
UCL home » Library Services » Electronic resources » UCL Discovery

Browse by UCL Departments and Centres

Group by: Author | Type
Number of items: 3.

Article

Kacprzak, M.; Lomuscio, A.; Niewiadomski, A.; Penczek, W.; Raimondi, F.; Szreter, M.; (2006) Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol. Fundamenta Informaticae , 72 (1-3) pp. 215-234. Green open access
file

Proceedings paper

Lomuscio, A.; Raimondi, F.; Wozna, B.; (2006) Verification of the TESLA protocol in MCMAS-X. In: Lindemann, G. and Schlingloff, H., (eds.) Proceedings of Concurrency, Specification and Programming (CS&P) 2006. (pp. pp. 255-267). Humboldt University Press: Wandlitz, Germany. Green open access
file

Pecheur, C.; Raimondi, F.; (2006) Symbolic model checking of logics with actions. In: Edelkamp, S. and Lomuscio, A., (eds.) Model Checking and Artifical Intelligence: 4th Workshop, MoChArt IV, Riva del garda, Italy, August 29, 2006, Revised Selected and Invited Papers. (pp. pp. 113-128). Springer Verlag: Berlin/ Heidelberg, Germany. Green open access
file

This list was generated on Wed Feb 7 17:54:04 2024 GMT.