Algebraic models of microprocessors. Architecture and organisationHARMAN, N. A; TUCKER, J. V.Acta informatica. 1996, Vol 33, Num 5, pp 421-456, issn 0001-5903Article

Verifying a simple pipelined microprocessor using maudeHARMAN, N. A.Lecture notes in computer science. 2002, pp 128-151, issn 0302-9743, isbn 3-540-43159-4Conference Paper

The faradaic impedance of the lithium-sulphur dioxide system. A further examination of commercial cellsHARMAN, N. F; HAMPSON, N. A; MITCHELL, J et al.Journal of power sources. 1987, Vol 19, Num 1, pp 7-13, issn 0378-7753Article

The temperature dependence of the electrochemistry of the lithium-sulphur dioxide systemHARMAN, N. F; HAMPSON, N. A; KARUNATHILAKA, S. A. G. R et al.Journal of applied electrochemistry. 1984, Vol 14, Num 6, pp 765-768, issn 0021-891XArticle

Dismantling design for the loop rooms on the MR reactorCRAIG, D; FECITT, L; GORLINSKY, Yu. E et al.Nuclear engineering and design. 2009, Vol 239, Num 12, pp 2832-2842, issn 0029-5493, 11 p.Article