A1 Vertaisarvioitu alkuperäisartikkeli tieteellisessä lehdessä

THE OMEGA-SEQUENCE EQUIVALENCE PROBLEM FOR DOL SYSTEMS IS DECIDABLE

Tekijät: CULIK K, HARJU T

Kustantaja: ASSOC COMPUTING MACHINERY

Julkaisuvuosi: 1984

Lehti:: Journal- ACM

Tietokannassa oleva lehden nimi: JOURNAL OF THE ACM

Lehden akronyymi: J ACM

Vuosikerta: 31

Numero: 2

Aloitussivu: 282

Lopetussivu: 298

Sivujen määrä: 17

ISSN: 0004-5411

DOI: https://doi.org/10.1145/62.2161