%0 Journal Article
%T Generating optimal distinguishing sequences with a model checker
%A Robinson-Mallett, Christopher
%A Liggesmeyer, Peter
%A Mücke, Tilo
%A Goltz, Ursula
%J ACM SIGSOFT Software Engineering Notes
%V 30
%N 4
%P 1-7
%@ 0163-5948
%D 2005-05-15
%I ACM
%~ DeepDyve