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

Re: [tlaplus] Comparison between the TLA tool-set and Alloy

From: Christian Schuhegger <christian....@xxxxxxxxx>
Date: Wed, 23 Apr 2014 21:10:46 -0700 (PDT)
References: <a6ad15de-04f4-44a8-aa44-b1cc6e18966a@googlegroups.com> <9928CB46-6A86-4C01-A875-D4DC2AE00987@cs.uni-duesseldorf.de> <CAPZtpk3i=DYPFm4rQmWg+6dqVQU3oxgBUeryHY-9W26qfegmzA@mail.gmail.com>

Thanks Chris, that is helpful!

I would be interested in having a copy before June. Could you please send it to me as a private copy in advance? I will have a look at the conference and decide if I will join.

I will also have a look at your other references.

Thanks a lot!

References:
- Comparison between the TLA tool-set and Alloy
  - From: Christian Schuhegger
- Re: [tlaplus] Comparison between the TLA tool-set and Alloy
  - From: Michael Leuschel
- Re: [tlaplus] Comparison between the TLA tool-set and Alloy
  - From: Chris Newcombe

Prev by Date: Re: [tlaplus] Comparison between the TLA tool-set and Alloy
Next by Date: Re: Meeting of the TLA+ community at ABZ 2014
Previous by thread: Re: [tlaplus] Comparison between the TLA tool-set and Alloy
Next by thread: I'm getting started
Index(es):
- Date
- Thread