1. Boigelot, B., Godefroid, P., Willems, B., Wolper, P.: The power of QDDs. In: Proceedings of SAS (1997)
2. Boigelot, B., Wolper, P.: Verifying systems with infinite but regular state spaces. In: Proceedings of CAV (1998)
3. Buschmann, T.: Efficient checking for parallel attacks in Casper. Oxford University M.Sc. Dissertation (2006)
4. LNCS;E.M. Clarke,2000
5. Creese, S.J.: Data independent induction: CSP model checking of arbitrary sized networks. Oxford University D.Phil. Thesis (2001)