![]() |
@article{DBLP:journals/tcs/DrosteR09,
author = {Manfred Droste and
George Rahonis},
title = {Weighted automata and weighted logics with discounting},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {37},
year = {2009},
pages = {3481-3494},
ee = {http://dx.doi.org/10.1016/j.tcs.2009.03.029},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Copyright © 2009-09-03 by Michael Ley (ley@uni-trier.de)