ePubs
The open archive for STFC research publications
Home
About ePubs
Content Policies
News
Help
Privacy/Cookies
Suggest an Enhancement
Contact ePubs
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
Contributors
A Butterfield (O'Reilly Institute, Trinity College, Dublin 2, Ireland) (Ed.)
,
J C Bicarregui (Science and Technology Facilities Council) (Ed.)
,
A E Arenas (Science and Technology Facilities Council) (Ed.)
Abstract
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
Showing record 1 of 1
Recent Additions
Browse Organisations
Browse Journals/Series
Login to add & manage publications and access information for OA publishing
Username:
Password:
Useful Links
Chadwick & RAL Libraries
SHERPA FACT
SHERPA RoMEO
SHERPA JULIET
Google Scholar