Grumberg, O., & Veith, H. (2020). 25 Years of Model Checking. Springer Berlin Heidelberg.
Παραπομπή Chicago StyleGrumberg, Orna, και Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
Παραπομπή MLAGrumberg, Orna, και Helmut Veith. 25 Years of Model Checking. Springer Berlin Heidelberg, 2020.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.