Robinson-Mallett, C. Generating optimal distinguishing sequences with a model checker. Software engineering notes..
Chicago Style (17. basım) AtıfRobinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes. .
MLA (9th ed.) AtıfRobinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes., .
Uyarı: Bu alıntı herzaman %100 doğru olmayabilir..