APA Citation

Grumberg, O. (2008). 25 years of model checking: [E-Book] : history, achievements, perspectives / ed. by O. Grumberg .. Berlin: Springer.

Chicago Style Citation

Grumberg, O. 25 Years of Model Checking: [E-Book] : History, Achievements, Perspectives / Ed. By O. Grumberg .. Berlin: Springer, 2008.

MLA Citation

Grumberg, O. 25 Years of Model Checking: [E-Book] : History, Achievements, Perspectives / Ed. By O. Grumberg .. Berlin: Springer, 2008.

Warning: These citations may not always be 100% accurate.