Book review of "Verification of reactive systems: Formal methods and algorithms" by Klaus Schneider

Software Testing, Verification and Reliability 15, 2005. 2 pages.

PostScript / PDF © 2005 John Wiley & Sons, Ltd.