10}t#2s); t

: Menu.tContent with VAR tContent : INT [...] action. Example: T

task T1 , two [...] : T1 halts in the program P1 20 times. T

to Adapter (Output) O -> T [...] to Scanner (Input) T -> O

be specified at the t [...] channel t

are skipped. Example: T

: Menu.tContent with VAR tContent : INT [...] action. Example: T

. DiscTimeEntry TIME T [...] MutingTime TIME T#0s Constant 0 [...] than T#0s or greater

: Menu.tContent with VAR tContent : INT [...] action. Example: T

: Menu.tContent with VAR tContent : INT [...] action. Example: T