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, to appear.

Suggested BibTeX entry:

@article{KK,
    author = {Barbara K{\"o}nig and Sebastian K{\"u}pper},
    journal = {Soft Computing},
    title = {A Generalized Partition Refinement Algorithm, Instantiated to Language Equivalence Checking for Weighted Automata},
    year = {To appear}
}



See link.springer.com ...
© University of Duisburg-Essen, Theoretical Computer Science group