Items where Author is "Walter, Chris J."
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Jump to: Journal Article
Number of items: 1.
Journal Article
Walter, Chris J. and Lincoln, Patrick and Suri, Neeraj (1997) Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng., 23 (11). pp. 684-721.