No public access
master's thesis
Functional Testing for Business Processes with Finite Discrete Automaton

Marko Kruljac (2016)
University of Zagreb
Faculty of Electrical Engineering and Computing