Modelchecking auf Trajektorien mit räumlichem Bezug

Warnke, Tom (2014) Modelchecking auf Trajektorien mit räumlichem Bezug. Masters thesis, Institute of Computer Science, University of Rostock.

Full text not available from this repository.

Item Type:	Thesis (Masters)

MoSi Publication Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.