A generalized partition refinement algorithm, instantiated to ...
Reference
Barbara König and Sebastian Küpper. A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata. Soft Computing, pages 1–18, 2016.
Suggested BibTeX entry:
@article{KK16,
author = {Barbara K{\"{o}}nig and Sebastian K{\"{u}}pper},
journal = {Soft Computing},
pages = {1--18},
title = {A generalized partition refinement algorithm, instantiated to language equivalence checking for weighted automata},
year = {2016}
}
