Hi Dan,I've attached the paper.cheers,Chris--On Fri, Sep 29, 2017 at 7:12 AM, <dkk...@xxxxxxxxx> wrote:Hello Chris,
I appreciate it has been a few years, but I have only just read your paper on "How AWS uses Formal Methods", and would be very interested to read your "Why Amazon Chose TLA+" paper, if you would kindly email me a copy.
I come from a Z background, so my interest in TLA+ is fairly straightforward :)
All the best,
Dan
dkk[dot]pub[at]gmail[dot]com
--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@googlegroups.com .
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus .
For more options, visit https://groups.google.com/d/optout .
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/UwYW6XqyDvE/ .unsubscribe
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@googlegroups.com .
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus .
For more options, visit https://groups.google.com/d/optout .