No public access
master's thesis
Automata property analysis system

Alen Agić (2014)
University of Zagreb
Faculty of Electrical Engineering and Computing