![]() |
TRS |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → User Defined → | TRS |
The input type TRS is the basic type and therefor only the common items are available. A description of the techniques available can be found in the corresponding techniques chapter.