%0 Journal Article
%A Cécé, Gérard
%A Héam, Pierre-Cyrille
%A Mainier, Yann
%T Efficiency of automata in semi-commutation verification techniques
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2008
%P 197-215
%V 42
%N 2
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita:2007029/
%R 10.1051/ita:2007029
%G en
%F ITA_2008__42_2_197_0