Cita APA (7th ed.)

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

Cita Chicago (17th ed.)

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

Cita MLA (9th ed.)

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