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}
}
