Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters.

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans

Browse the full IFM paper archive.