© LRS - UNI Erlangen-Nuremberg

1.1 FSM Types