Diploma Theses

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

AuthorTuvshintur Tserendorj