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.
MLA استشهادGrumberg, Orna, و Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.