Formale Systeme – Altklausuren
| Wintersemester 1999/00 | Lösung | Sommersemester 2000 | Lösung | ||
| Sommersemester 2005 | Lösung | ||||
| Wintersemester 2005/06 | Klausur | Lösung | Sommersemester 2006 | Lösung | |
| Wintersemester 2006/07 | Klausur | Lösung | Sommersemester 2007 | Klausur | Lösung |
| Wintersemester 2007/08 | Klausur | Lösung | Sommersemester 2008 | Klausur | Lösung |
| Zweiter Termin | Klausur | Lösung | |||
| Wintersemester 2008/09 | Klausur | Lösung | Sommersemester 2009 | Klausur | Lösung |
| Wintersemester 2009/10 | Klausur | Lösung | Sommersemester 2010 | Klausur | Lösung |
| Wintersemester 2010/11 | Klausur | Lösung | Sommersemester 2011 | Klausur | Lösung |
| Wintersemester 2011/12 | Klausur | Lösung | Sommersemester 2012 | Klausur | Lösung |
| Wintersemester 2012/13 | Klausur | Lösung | Sommersemester 2013 | Klausur | Lösung |
| Wintersemester 2013/14 | Klausur | Lösung | Sommersemester 2014 | Klausur | Lösung |
| Wintersemester 2014/15 | Klausur | Lösung | Sommersemester 2015 | Klausur | Lösung |
| Wintersemester 2015/16 | Klausur | Lösung | Sommersemester 2016 | Klausur | Lösung |
| Wintersemester 2016/17 | Klausur | Lösung | Sommersemester 2017 | Klausur | Lösung |
| Wintersemester 2017/18 | Klausur | Lösung | Sommersemester 2018 | Klausur | Lösung |
| Wintersemester 2018/19 | Klausur | Lösung | Sommersemester 2019 | Klausur | Lösung |
| Wintersemester 2019/20 | Klausur | Lösung | Sommersemester 2020 | Klausur | Lösung |
| Wintersemester 2020/21 | Klausur | Lösung | Sommersemester 2021 | Klausur | Lösung |
| Wintersemester 2021/22 | Klausur | Lösung | Sommersemester 2022 | Klausur | Lösung |
| Wintersemester 2022/23 | Klausur | Lösung | Sommersemester 2023 | Klausur | Lösung |
| Wintersemester 2023/24 | Klausur | Lösung | Sommersemester 2024 | Klausur | Lösung |