Jacobs, Swen Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Faber, J., Jacobs, S., & Sofronie-Stokkermans, V. (2007). Verifying CSP-OZ-DC specifications with complex data types and timing parameters. In J. Davies, & J. Gibbons (Eds.), Integrated Formal Methods: 6th International Conference, IFM 2007 (pp. 233-252). Berlin, Germany: Springer.