Classifying recognizable infinitary trace languages using word automata

Amsterdam / Elsevier (2017) [Fachzeitschriftenartikel]

Information and computation
Band: 256
Seite(n): 23-34

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Chaturvedi, Namit
Gelderie, Marcus

Identifikationsnummern