Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

5

IFM
2007
Springer

favoriteEmaildiscussreport

77views Formal Methods» more IFM 2007»

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

13 years 10 months ago

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

Download www.mpi-inf.mpg.de

Johannes Faber, Swen Jacobs, Viorica Sofronie-Stok

Real-time Traffic

IFM 2007 |

claim paper

Related Content

» Automatic Fitting and Control of Complex Freeform Shapes in 3D

» Soft computing in investment appraisal

» STACTS a spatiotemporal activity simulator

Post Info
More Details (n/a)

Added	08 Jun 2010
Updated	08 Jun 2010
Type	Conference
Year	2007
Where	IFM
Authors	Johannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans

Comments (0)