Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 2.


Jiang, F. and Liu, S. and Lu, G. and Yan, Y. and Wang, H.X. and Song, Y. and Ma, R. and Pan, Z. (2002) Flame Temperature Measurement using the Two-Colour Method. Chinese Journal of Electrical Engineering (in Chinese), 22 (12). 133-137 . ISSN 1022-4653 . (The full text of this publication is not available from this repository)

Conference or workshop item

Smith, G. and Derrick, J. (1997) Refinement and verification of concurrent systems specified in Object-Z and CSP. In: Hinchey, M. and Liu, S., eds. ICFEM. IEEE Computer Society, Hiroshima, Japan pp. 293-302. ISBN 0-8186-8002-4 . (Full text available)

This list was generated on Fri Apr 18 16:57:35 2014 BST.