2 lines
40 B
Text
Executable file
2 lines
40 B
Text
Executable file
% MEASURE0
|
|
AG (#Q2==1 -> AF (#Q4 == 1))
|