APA Zitierstil

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

Chicago Zitierstil

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

MLA Zitierstil

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

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.