Book review of "Verification of reactive
systems: Formal methods and algorithms" by Klaus Schneider
Joël
Ouaknine
Software Testing, Verification and Reliability 15, 2005. 2 pages.
PostScript /
PDF
© 2005 John Wiley & Sons, Ltd.
Imprint / Data Protection