Steffen Helke. Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion. PhD thesis, Berlin Institute of Technology, 2007. [doi]
@phdthesis{de-5135,
title = {Verifikation von Statecharts durch struktur- und eigenschaftserhaltende Datenabstraktion},
author = {Steffen Helke},
year = {2007},
url = {http://opus.kobv.de/tuberlin/volltexte/2008/1766/},
note = {http://d-nb.info/987700219},
researchr = {https://researchr.org/publication/de-5135},
cites = {0},
citedby = {0},
school = {Berlin Institute of Technology},
}