%0 Journal Article %1 journals/tcs/AminofKL13 %A Aminof, Benjamin %A Kupferman, Orna %A Lampert, Robby %D 2013 %J Theor. Comput. Sci. %K dblp %P 104-117 %T Rigorous approximated determinization of weighted automata. %U http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#AminofKL13 %V 480

@article{journals/tcs/AminofKL13, added-at = {2021-02-17T00:00:00.000+0100}, author = {Aminof, Benjamin and Kupferman, Orna and Lampert, Robby}, biburl = {https://www.bibsonomy.org/bibtex/226b9d1a1758478927030f775016f177b/dblp}, ee = {https://doi.org/10.1016/j.tcs.2013.02.005}, interhash = {c8cacd662845b59ba4170d04ba67605e}, intrahash = {26b9d1a1758478927030f775016f177b}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, pages = {104-117}, timestamp = {2024-04-08T18:39:21.000+0200}, title = {Rigorous approximated determinization of weighted automata.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs480.html#AminofKL13}, volume = 480, year = 2013 }