Manfred Droste, Ulrike Püschmann. On Weighted BÜchi Automata with Order-Complete Weights. IJAC, 17(2):235-260, 2007. [doi]
@article{DrosteP07,
title = {On Weighted BÜchi Automata with Order-Complete Weights},
author = {Manfred Droste and Ulrike Püschmann},
year = {2007},
doi = {10.1142/S0218196707003585},
url = {http://dx.doi.org/10.1142/S0218196707003585},
tags = {completeness},
researchr = {https://researchr.org/publication/DrosteP07},
cites = {0},
citedby = {0},
journal = {IJAC},
volume = {17},
number = {2},
pages = {235-260},
}