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
Klauke, Christoph
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.
Google Scholar