Sujet : Re: Latest revision of my paper incorporating feedback --- last remaining sticking point
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 07. Aug 2024, 09:36:17
Autres entêtes
Organisation : -
Message-ID : <v8v85g$29us7$1@dont-email.me>
References : 1
User-Agent : Unison/2.2
On 2024-08-06 14:43:30 +0000, olcott said:
https://www.researchgate.net/publication/369971402_Simulating_Termination_Analyzer_H_is_Not_Fooled_by_Pathological_Input_D
The date on that page says "April 2023". After that date many defects have
been identified.
-- Mikko