Robinson-Mallett, C. Generating optimal distinguishing sequences with a model checker. Software engineering notes..
Chicago Style (17th ed.) CitationRobinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes. .
MLA (9th ed.) CitationRobinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes., .
Warning: These citations may not always be 100% accurate.