by Philipp Mitterer
Reference:
Using Interactions to Validate Executing State Machines (Philipp Mitterer), Master's thesis, Johannes Kepler University (JKU), Linz, Austria, 2014.
Bibtex Entry:
@MastersThesis{Mitterer2014,
author = {Philipp Mitterer},
school = {Johannes Kepler University (JKU), Linz, Austria},
title = {Using Interactions to Validate Executing State Machines},
year = {2014},
file = {:MSc Theses/2014 Philipp Mitterer/Mitterer2014 - Using Interactions to Validate Executing State Machines.pdf:PDF},
}