README.md 698 Bytes
Newer Older
Johannes Lenzen's avatar
Johannes Lenzen committed
1
2
3
4
5
6
7
8
9
10
11
# FoSAP Formelsammlung
[![pipeline status](https://git.rwth-aachen.de/gameplaceholder/placeholdergame/badges/master/pipeline.svg)](https://git.rwth-aachen.de/gameplaceholder/placeholdergame/commits/master)
Eine Formelsammlung für die Formale Systeme Automaten und Prozesse Vorlesung im SoSe 19 bei
Prof. Dr. ir. Dr. h. c. Katoen.

Die Richtigkeit der dargestellten Informationen ist nicht garantiert,
aber das Ziel.
Falls somit Fehler gefunden wärden, bitte ein Ticket erstellen oder direkt einen Merge Request mit der Korrektur.

## Downloads
[Formale Systeme Formelsammlung](https://git.rwth-aachen.de/johannes.lenzen/fosap-formelsammlung/-/jobs/artifacts/master/raw/report.pdf?job=build:latex)