%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 https://doi.org/10.1051/ita:2007017 %R 10.1051/ita:2007017 %G en %F ITA_2007__41_3_261_0