B1 Vertaisarvioimaton kirjoitus tieteellisessä lehdessä

Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata

Tekijät: Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

Kustantaja: TUCS Techinical Report 1105

Kustannuspaikka: Turku

Julkaisuvuosi: 2014

Journal: TUCS Publication Series

Vuosikerta: 1105

Verkko-osoite: http://tucs.fi/publications/view/?pub_id=tHaHaNiPo14a