Subject: FW: temporal properties
From: Harry Foster (foster@rsn.hp.com)
Date: Wed Jan 31 2001 - 12:49:37 PST
-----Original Message-----
From: Edmund Clarke [mailto:emc@cs.cmu.edu]
Sent: Wednesday, January 31, 2001 2:32 PM
To: foster@rsn.hp.com
Subject: Fwd: temporal properties
I still have only received properties from one person. Perhaps you
can forward this message to the OVI members and tell them I am
ashamed of them for not responding!! --Ed
>To: emc@cs.cmu.edu
>Subject: temporal properties
>From: Matthew Morley <matthew@verisity.com>
>Date: 31 Jan 2001 17:28:50 +0200
>Lines: 13
>User-Agent: Gnus/5.0802 (Gnus v5.8.2) Emacs/20.5
>Resent-Date: Wed, 31 Jan 2001 10:31:55 EST
>Resent-From: emc+@ux3.sp.cs.cmu.edu
>Resent-To: emc-cyrus@postoffice.srv.cs.cmu.edu
>
>Hi Ed,
>
>i'm sending you a selection of specifications regarding the PCI bus
>protocol. I've aimed at getting a diversity of specs, rather than
>sheer volume. i'll send along some more properties, not related to
>PCI, at a later date.
>
>M
>
>
>
>--
This archive was generated by hypermail 2b28 : Wed Jan 31 2001 - 12:54:32 PST