On Sat, 2017-04-08 at 22:29 +0200, Paul Fiterau Brostean wrote:
> Hello,
>
> My name is Paul Fiterau, I am a PhD student at Radboud University whose
> focus for the past few years has been among others to develop and apply
> inference techniques on TCP stacks in order to obtain nice models, and
Hello,
My name is Paul Fiterau, I am a PhD student at Radboud University whose
focus for the past few years has been among others to develop and apply
inference techniques on TCP stacks in order to obtain nice models, and
to verify them if possible using formal methods. We contacted you on
