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
A domain equation for refinement of partial systems
File(s)
A domain equation for.pdf (336.17 KB)
Published version
Author(s)
Huth, MRA
Jagadeesan, R
Schmidt, DA
Type
Journal Article
Version
Published version
Date Issued
2004-08-01
Citation
MATH STRUCT COMP SCI Vol.( 14 ) No.( 4 ) pp 469 - 505
URI
URL
DOI
Start Page
469
End Page
505
Copyright Statement
© 2004 Cambridge University Press
License URL
Source Volume Number
14