25 Years of Model Checking

MLA

Grumberg, Orna, et al. 25 Years of Model Checking. Springer Berlin Heidelberg, 2008.

APA

Grumberg, O., Kanade, T., Veith, H., & Kittler, J. (2008). 25 Years of Model Checking. Springer Berlin Heidelberg.

Chicago

Grumberg, Orna, Takeo Kanade, Helmut Veith, and Josef Kittler. 25 Years of Model Checking. : Springer Berlin Heidelberg, 2008.