9fans archive / 1999 / 12 / 16 /    prev next

From: FODEMESI Gergely fgergo@eik...
Subject: [9fans] Promela model for sleep/wakeup
Date: Tue, 14 Dec 1999 17:05:45 +0100 (MET)

In article <199912140335.WAA16404@cse...> you wrote:
> Gerard Holzmann found a copy in his archives.

Thank you all for all your help on my questions.

 gergo