7 Jul
2016
7 Jul
'16
2:13 p.m.
On Thu, Jul 7, 2016 at 1:59 PM, Ayrat <ayrat.khalimov@iaik.tugraz.at> wrote:
hi there,
smth is wrong with online translator for LTL3BA -- see message below. Thanks for amazing web-page!
Dear Ayat, Thank you for the report. Do you remember what formula you translated? (I tried a few formulas without being able to reproduce the error.)