Additional Metadata
THEME Software (theme 1)
Publisher IEEE
Conference IEEE Symposium on Logic in Computer Science
Citation
Kupke, C.A, & Venema, Y. (2005). Closure properties of coalgebra automata. In Proceedings of IEEE Symposium on Logic in Computer Science 2005 (20) (pp. 199–208). IEEE.