B1 Non-refereed article in a scientific journal

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

Authors: Vesa Halava, Tero Harju, Reino Niskanen, Igor Potapov

Publisher: TUCS Techinical Report 1105

Publishing place: Turku

Publication year: 2014

Journal: TUCS Publication Series

Volume: 1105

Web address : http://tucs.fi/publications/view/?pub_id=tHaHaNiPo14a