APA引文

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引文

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

警告：這些引文格式不一定是100％准確.