README.md 635 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
Die Richtigkeit der dargestellten Informationen ist nicht garantiert.
Johannes Lenzen's avatar
Johannes Lenzen committed
8
Falls somit Fehler gefunden werden, bitte ein Issue Request oder direkt einen Merge Request mit der Korrektur erstellen.
Johannes Lenzen's avatar
Johannes Lenzen committed
9
10

## Downloads
Johannes Lenzen's avatar
Johannes Lenzen committed
11
[Formale Systeme Formelsammlung](https://johmat.de/deploy/uni/fosap-formelsammlung.pdf)