APA সাইটেশন

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

শিকাগো স্টাইলে সাইটেশন

Grumberg, Orna, এবং Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.

এমএলএ সাইটেশন

Grumberg, Orna, এবং Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.