Robinson-Mallett, C. Generating optimal distinguishing sequences with a model checker. Software engineering notes..
Style de citation Chicago (17e éd.)Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes. .
Style de citation MLA (9e éd.)Robinson-Mallett, Christopher. "Generating Optimal Distinguishing Sequences with a Model Checker." Software Engineering Notes., .
Attention : ces citations peuvent ne pas être correctes à 100%.