Sammartino, M;
Van Heerdt, G;
Silva, A;
Moerman, J;
(2019)
A (co)algebraic theory of succinct automata.
Journal of Logical and Algebraic Methods in Programming
, 105
pp. 112-125.
10.1016/j.jlamp.2019.02.008.