Cita APA

(2008). 25 years of model checking: History, achievements, perspectives / Orna Grumberg, Helmut Veith (eds.).

Citación estilo Chicago

25 Years of Model Checking: History, Achievements, Perspectives / Orna Grumberg, Helmut Veith (eds.). 2008.

Cita MLA

25 Years of Model Checking: History, Achievements, Perspectives / Orna Grumberg, Helmut Veith (eds.). 2008.

Warning: These citations may not always be 100% accurate.