Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen

C. Klauke, Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen, Universität Paderborn, 2014.

Download
No fulltext has been uploaded.
Bachelorsthesis
Author
Publishing Year
LibreCat-ID

Cite this

Klauke C. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn; 2014.
Klauke, C. (2014). Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn.
@book{Klauke_2014, title={Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen}, publisher={Universität Paderborn}, author={Klauke, Christoph}, year={2014} }
Klauke, Christoph. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
C. Klauke, Transformation graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.
Klauke, Christoph. Transformation Graphischer Protokollspezifikationen in Model-Checker-Anfragen. Universität Paderborn, 2014.

Export

Marked Publications

Open Data LibreCat

Search this title in

Google Scholar