2 lines
41 B
Text
Executable file
2 lines
41 B
Text
Executable file
% MEASURE0
|
|
AG ( #Q1==1 -> AF (#Q3 == 1))
|