Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans. Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters. In Jim Davies, Jeremy Gibbons, editors, Integrated Formal Methods, 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings. Volume 4591 of Lecture Notes in Computer Science, pages 233-252, Springer, 2007. [doi]

This author has not been identified. Look up 'Johannes Faber' in GoogleThis author has not been identified. Look up 'Swen Jacobs' in GoogleThis author has not been identified. It may be one of the following persons:

Viorica Sofronie-Stokkermans

Look up 'Viorica Sofronie-Stokkermans' in Google

runs on WebDSL