A Graph Theoretic Optimisation of Temporal Abductive Validation.

Tim Menzies Robert F. Cohen A Graph Theoretic Optimisation of Temporal Abductive Validation. 55-68 1997 conf/eurovav/1997 EUROVAV db/conf/eurovav/eurovav1997.html#MenziesC97