[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Why Amazon Chose TLA+

From: Pedro Paiva <pedr...@xxxxxxxxx>
Date: Fri, 3 Nov 2017 09:46:00 -0700 (PDT)
References: <cddbf9f3-6170-4d26-abdc-e8b85afae629@googlegroups.com> <34987604-df88-445f-946d-022a4958c457@googlegroups.com>

Hi Chris,

I would like a copy of the paper too (pedroarbs at gmail dot com). Thank you.

Regards,
Pedro

Em segunda-feira, 16 de outubro de 2017 02:59:47 UTC-2, ste...@xxxxxxxxxxxxxx escreveu:

Hi Chris,

I'd love a copy of this paper too.

Kind regards,

Steven
steven[at]altheatec.com

References:
- Why Amazon Chose TLA+
  - From: Chris Newcombe
- Re: Why Amazon Chose TLA+
  - From: ste . . .

Prev by Date: Re: New to TLA+: Questions about content in video courses 5 & 6
Next by Date: Specifying Systems fig 3.2 : is my understanding correct?
Previous by thread: Re: Why Amazon Chose TLA+
Next by thread: Re: Why Amazon Chose TLA+
Index(es):
- Date
- Thread