2017

Classifying recognizable infinitary trace languages using word automata

von Marcus, Gelderie

Namit Chaturvedi, Marcus Gelderie; Inf. Comput. 256: 23-34 (2017)