Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral - continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team. The Spiral team
Refinement is complete for implementations
File(s)
Author(s)
Huth,M.
Type
Journal Article
Date Issued
2005-08
Citation
Formal Aspects of Computing, 2005, 2, 17, pp.113-137
URI
URL
ISSN
0934-5043
Publisher
Springer
Start Page
113
End Page
137
Journal / Book Title
Formal Aspects of Computing
Volume
17
Copyright Statement
BCS © 2005. The original publication is available at www.springerlink.com
License URL
Source Volume Number
17
Edition
2