Blog/content/posts/2014-04-16-modellierung-nebenlaeufiger-systeme.md

18 lines
674 B
Markdown
Raw Permalink Normal View History

2017-10-09 12:03:43 +02:00
---
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