Book Volume 5000 2008

25 Years of Model Checking

History, Achievements, Perspectives

Editors:

ISBN: 978-3-540-69849-4 (Print) 978-3-540-69850-0 (Online)