Generic Partition Refinement Algorithms for Coalgebras and an ...

Reference

Barbara König and Sebastian Küpper. Generic partition refinement algorithms for coalgebras and an instantiation to weighted automata. In Proc. of TCS '14, IFIP AICT, pages 311–325. Springer, 2014. LNCS 8705.

Suggested BibTeX entry:

@inproceedings{KK14,
    author = {Barbara K{\"o}nig and Sebastian K{\"u}pper},
    booktitle = {Proc. of TCS '14},
    note = {{LNCS} 8705},
    pages = {311--325},
    publisher = {Springer},
    series = {IFIP AICT},
    title = {Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata},
    year = {2014}
}

This work is not available online here.