Robinson-Mallett, C. Generating optimal distinguishing sequences with a model checker. Software engineering notes..
Citace podle Chicago (17th ed.)Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes. .
Citace podle MLA (9th ed.)Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes., .
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..