Modelchecking auf Trajektorien mit räumlichem Bezug

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

Full text not available from this repository.
Item Type: Thesis (Masters)