# Difference between revisions of "Errata: In heuristic derivation of reachability test, α is missing subscript"

Jump to: navigation, search

Location: page 169, line -12

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

(Contributed by E. Tuna, 13 Feb 08)