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.

Article

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)
[img]
Preview

This list was generated on Thu Apr 24 02:51:34 2014 BST.