17 lines
674 B
Markdown
17 lines
674 B
Markdown
---
|
||
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
|