1. Distributed analysis with μCRL: A compendium of case studies;Blom,2007
2. μCRL: A toolset for analysing algebraic specifications;Blom,2001
3. To store or not to store;Behrmann,2003
4. Distributed partial order reduction of state spaces;Brim;ENTCS,2005
5. Model Checking;Clarke,2000