Undecidability of the Universality Problem for 3-State Integer Weighted Büchi Automata
: Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov
Publisher: TUCS Techinical Report 1105
: Turku
: 2014
: TUCS Publication Series
: 1105
: http://tucs.fi/publications/view/?pub_id=tHaHaNiPo14a(external)