Re: Hello

[John Rushby]

THIS REPLY WAS GENERATED AUTOMATICALLY BY THE UNIX VACATION PROGRAM.

Thank you for your message.  I'm out of town for a couple of weeks and
may be unable read or reply to email for a while.

Nora Ongpin (address@hidden) may be able to help with anything urgent.

If you are looking for papers, please try the link
  http://www.csl.sri.com/~rushby/biblio.html
and for slides take a look in
  http://www.csl.sri.com/~rushby/slides/
and check the links the bottom if you need to unzip or convert to pdf.

------------------------------------------------------------------------------
John Rushby                  Email: address@hidden
Computer Science Laboratory  Tel: (650) 859-5456 [hit 0 to escape voice-mail]
SRI International            Fax: (650) 859-2844
333 Ravenswood Avenue        WWW: http://www.csl.sri.com/~rushby
Menlo Park, CA 94025, USA    ftp: ftp.csl.sri.com/pub/{reports|pvs}