README.md 701 Bytes
Newer Older
Johannes Lenzen's avatar
Johannes Lenzen committed
1
# FoSAP Formelsammlung
Johannes Lenzen's avatar
Johannes Lenzen committed
2
[![pipeline status](https://git.rwth-aachen.de/johannes.lenzen/fosap-formelsammlung/badges/master/pipeline.svg)](https://git.rwth-aachen.de/johannes.lenzen/fosap-formelsammlung/commits/master)
Johannes Lenzen's avatar
Johannes Lenzen committed
3

Johannes Lenzen's avatar
Johannes Lenzen committed
4
5
6
Eine Formelsammlung für die Formale Systeme Automaten und Prozesse Vorlesung im SoSe 19 bei
Prof. Dr. ir. Dr. h. c. Katoen.

Johannes Lenzen's avatar
Johannes Lenzen committed
7
8
Die Richtigkeit der dargestellten Informationen ist nicht garantiert.
Falls somit Fehler gefunden wärden, bitte ein Issue Request oder direkt einen Merge Request mit der Korrektur erstellen.
Johannes Lenzen's avatar
Johannes Lenzen committed
9
10
11

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