Authors: Bogdanov, K Holcombe, M

Citation: K. Bogdanov et M. Holcombe, Statechart testing method for aircraft control systems, SOFTW TEST, 11(1), 2001, pp. 39-54

Authors: Chambers, C Holcombe, M Barnard, J

Citation: C. Chambers et al., Introducing X-machine models to verify PLC ladder diagrams, COMPUT IND, 45(3), 2001, pp. 277-290

Authors: Paton, R Holcombe, M

Citation: R. Paton et M. Holcombe, Introduction to IPCAT 99, BIOSYSTEMS, 55(1-3), 2000, pp. 1-3

Authors: Duan, ZH Holcombe, M Bell, A

Citation: Zh. Duan et al., A logic for biological systems, BIOSYSTEMS, 55(1-3), 2000, pp. 93-105