Clemens Kupke, Yde Venema
Closure Properties of Coalgebra Automata
LICS, 2005.
@inproceedings{LICS-2005-KupkeV, author = "Clemens Kupke and Yde Venema", booktitle = "{Proceedings of the 20th IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2005.10", isbn = "0-7695-2266-1", pages = "199--208", publisher = "{IEEE Computer Society}", title = "{Closure Properties of Coalgebra Automata}", year = 2005, }