Lua APA (7ú heag.)

Robinson-Mallett, C. Generating optimal distinguishing sequences with a model checker. Software engineering notes..

Lua i Stíl Chicago (17ú heag.)

Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes. .

Lua MLA (9ú heag.)

Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes., .

Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.