harry, i just noticed several typos in appendix c, as follows: 1. reference B3: "27{40" should be "27-40" 2. reference B4: "de-nition" should be "definition" 3. reference B5: "foundatio" should be "foundation" regards, cindy. -------------------------------------------------------------------- Cindy Eisner Formal Methods Group IBM Haifa Research Laboratory Haifa 31905, Israel Tel: +972-4-8296-266 Fax: +972-4-8296-114 e-mail: eisner@il.ibm.comReceived on Mon Mar 14 07:32:51 2005
This archive was generated by hypermail 2.1.8 : Mon Mar 14 2005 - 07:32:55 PST