APA Citation

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

Trích dẫn kiểu Chicago

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

MLA Citation

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

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.