Springer-Verlag recently celebrated the 5000th volume of the Lecture Note in Computer Science (LNCS) series. WSU members should look for LNCS volumes two ways.

1. SpringerLink: limited full-text access; search the entire series
2. OhioLINK Electronic Book Center: full-text access all found documents; partial series

The 5000th volume was titled, 25 Years of Model Checking, by Edmund M. Clarke, E. Allen Emerson, and Joseph Sifakis.