%0 Journal Article 
%F e_marchand98
%A Marchand, E.
%A Rutten, E.
%A Marchand, H.
%A Chaumette, F.
%T Specifying and verifying active vision-based robotic systems with the Signal environment
%J Int. Journal of Robotics Research
%V 17
%N 4
%P 418-432
%U ftp://ftp.irisa.fr/local/signal/publis/articles/ijrr98:appli_task_verif.ps.gz
%8 April
%D 1998