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

Re: [tlaplus] Re: RandomElement fails with TLC bug

On 15.09.2016 17:48, Werner Grift wrote:
> I just found your book "Specifying Systems" which is exactly what I
> need. I did go through "The Temporal Logic of Actions", but it's to
> condense and not enough to make me understand what I am doing. I
> thought PrintT might help.


you might also want to read the Hyperbook found at