# Errata: In heuristic derivation of reachability test, α is missing subscript

From FBSwiki

Return to Errata page |

Location: page 169, line -12

In the displayed equation, the coefficient for the should be (subscript is missing).

(Contributed by E. Tuna, 13 Feb 08)