Blog/content/posts/2014-04-16-modellierung-nebenlaeufiger-systeme.md
2017-10-09 12:03:43 +02:00

17 lines
674 B
Markdown
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

---
title: Modellierung nebenläufiger Systeme
author: eNBeWe
type: post
date: 2014-04-15T22:50:06+00:00
url: /2014/04/16/modellierung-nebenlaeufiger-systeme/
categories:
- Allgemein
---
Zur Nachbereitung der Vorlesung [Modellierung nebenläufiger Systeme][1] habe ich begonnen, meine Mitschrift in LaTeX zu schreiben.
Die aktuelle Version könnt ihr aus meinem Git [herunterladen][2]. Da könnt ihr auch das ganze [Repository][3] clonen und mithelfen, wenn ihr wollt.
[1]: http://www.informatik.uni-kiel.de/rtsys/teaching/14ss/v-model0/
[2]: https://gitlab.enbewe.de/eNBeWe/modellierung/blob/master/Mitschrift.pdf
[3]: https://gitlab.enbewe.de/eNBeWe/modellierung