@thesis{Meesters2015,
	type = "Master's thesis",
	author = "Bas Meesters",
	title = "{The Visualisation of Symbolic Transition Systems}",
	year = 2015,
	month = jul,
	school = "{Universiteit van Amsterdam}",
	address = "Amsterdam, The Netherlands",
	url = "https://scripties.uba.uva.nl/search?id=588158",
}