%0 Journal Article
%A Assent, Ira
%A Seibert, Sebastian
%T An upper bound for transforming self-verifying automata into deterministic ones
%J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
%D 2007
%P 261-265
%V 41
%N 3
%I EDP-Sciences
%U http://archive.numdam.org/articles/10.1051/ita:2007017/
%R 10.1051/ita:2007017
%G en
%F ITA_2007__41_3_261_0