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