Cita APA (7a ed.)

SpringerLink (Online service), Grumberg, O., & Veith, H. (2008). 25 Years of Model Checking: History, Achievements, Perspectives (1st ed. 2008.). Springer Berlin Heidelberg : Imprint: Springer.

Cita Chicago Style (17a ed.)

SpringerLink (Online service), Orna Grumberg, y Helmut Veith. 25 Years of Model Checking: History, Achievements, Perspectives. 1st ed. 2008. Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer, 2008.

Cita MLA (8a ed.)

SpringerLink (Online service), et al. 25 Years of Model Checking: History, Achievements, Perspectives. 1st ed. 2008. Springer Berlin Heidelberg : Imprint: Springer, 2008.