2014

Classifying Recognizable Infinitary Trace Languages Using Word Automata

von Marcus, Gelderie

Namit Chaturvedi, Marcus Gelderie; MFCS (1) 2014: 171-182