Robinson-Mallett, C. Generating optimal distinguishing sequences with a model checker. Software engineering notes..
Chicago-referens (17:e uppl.)Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes. .
MLA-referens (9:e uppl.)Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes., .
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.