17 Mar
2012
17 Mar
'12
6:43 a.m.
Dear Sir(Madam):
When I use the SPOT tool online recently I found the truth that the result Buchi automata for such formulas G(F a && F b) from your tool is not a traditional one. Can you explain why? Thank you very much!
Best
Jianwen Li