%0 Journal Article
%T Verification of distributed control systems in intelligent manufacturing
%A Vyatkin, Valeriy
%A Hanisch, Hans-Michael
%J Journal of Intelligent Manufacturing
%V 14
%N 1
%P 123-136
%@ 0956-5515
%D 2004-10-05
%I Kluwer Academic Publishers
%~ DeepDyve