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 
term should be 
(subscript is missing).
(Contributed by E. Tuna, 13 Feb 08)
