%0 Journal Article
%T A Suite of Tools for Debugging Distributed Autonomous Systems
%A Kortenkamp, David
%A Simmons, Reid
%A Milam, Tod
%A Fernández, Joaquín
%J Formal Methods in System Design
%V 24
%N 2
%P 157-188
%@ 0925-9856
%D 2004-09-30
%I Kluwer Academic Publishers
%~ DeepDyve