Classifying recognizable infinitary trace languages using word automata

Chaturvedi, Namit (Corresponding author); Gelderie, Marcus

Amsterdam : Elsevier (2017)
Journal Article

In: Information and computation
Volume: 256
Page(s)/Article-Nr.: 23-34

Institutions

  • Department of Computer Science [120000]
  • [122110]

Identifier