Automatische Verifikation von Statecharts durch Anbindung eines Model Checkers an einen Theorembeweiser

Author:
Tuvshintur Tserendorj
Category:
Diploma Thesis
Year:
2003