ePubs

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
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