Citace podle APA (7th ed.)

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

Citace podle Chicago (17th ed.)

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

Citace podle MLA (9th ed.)

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

Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..