Sciweavers

Share
IFM
2007
Springer

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

10 years 6 months ago
Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where IFM
Authors Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans
Comments (0)
books