1. Barnat J, Brim L, Stříbrná J (2001) Distributed LTL model-checking in SPIN. In: Proceedings SPIN’01. Lecture notes in computer science, vol 2057. Springer, Berlin Heidelberg New York, pp 200–216
2. Behrmann G, Hune T, Vaandrager FW (2000) Distributed timed model checking – how the search order matters. In: Proceedings CAV’00. Lecture notes in computer science, vol 1855. Springer, Berlin Heidelberg New York, pp 216–231
3. Berry G, Comon H, Finkel A (eds) (2001) Proceedings CAV’01. Lecture notes in computer science, vol 2102. Springer, Berlin Heidelberg New York
4. Blom SCC, Fokkink WJ, Groote JF, van Langevelde I, Lisser B, van de Pol JC (2001) μCRL: a toolset for analysing algebraic specifications. In: Proceedings CAV’01. Lecture notes in computer science, vol 2102. Springer, Berlin Heidelberg New York, pp 250–254
5. Blom SCC, Orzan SM (2002) A distributed algorithm for strong bisimulation reduction of state spaces. In: Proceedings PDMC’02. Electronic notes in theoretical computer science, vol 68