1. Ammirati, P., Delzanno, G., Ganty, P., Geeraerts, G., Raskin, J.-F., Van Begin, L.: Babylon: An integrated toolkit for the specification and verification of parameterized systems. In: SAVE 2002 (2002)
2. Lecture Notes in Computer Science;A. Annichini,2000
3. Lecture Notes in Computer Science;A. Annichini,2001
4. Lecture Notes in Computer Science;T. Ball,2001
5. Lecture Notes in Computer Science;T. Ball,2001