BibTex

@inproceedings{AS07,
   author = {Ira Assent and Seibert S.},
   title = {An upper bound for transforming self-verifying automata into deterministic ones},
   booktitle = {Theoretical Informatics and Applications 41(3)},
   publisher = {Cambridge Journals},
   address = {Cambridge UK},
   year = {2007},
   pages = {261-265}
}