APA Citation

Grumberg, O., & Veith, H. (2020). 25 Years of Model Checking. Springer Berlin Heidelberg.

Chicago Style Citation

Grumberg, Orna, and Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.

MLA Citation

Grumberg, Orna, and Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.

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