APA aipamena

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

Chicago Style aipamena

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

MLA aipamena

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

Kontuz: berrikusi erreferentzia hauek erabili aurretik.