TY - JOUR AU - Assent, Ira AU - Seibert, Sebastian TI - An upper bound for transforming self-verifying automata into deterministic ones JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 2007 DA - 2007/// SP - 261 EP - 265 VL - 41 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/articles/10.1051/ita:2007017/ UR - https://zbmath.org/?q=an%3A1130.68067 UR - https://www.ams.org/mathscinet-getitem?mr=2354357 UR - https://doi.org/10.1051/ita:2007017 DO - 10.1051/ita:2007017 LA - en ID - ITA_2007__41_3_261_0 ER -