The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/37429
Record Status Checked
Record Id 37429
Title Special issue of Selected Papers from the Ninth International Workshop on Formal Methods for Industrial Critical Systems (FMICS 04), Linz, Austria
Organisation CCLRC , ESC
Keywords Engineering
Funding Information
Related Research Object(s):
Language English (EN)
Type Details URI(s) Local file(s) Year
Journal Issue Formal Methods in System Design 30, no. 3 (2007) doi:10.1007/s10703-006-0032-z 2007