25 years of model checking [E-Book] : history, achievements, perspectives / ed. by O. Grumberg ...
Grumberg, O,, (editor)
Berlin : Springer, 2008
9783540698494
9783540698500 (e-book)
Lecture notes in computer science ; 5000.
Full Text
Description not available.