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

Dijkstra



> Return-Path: <emerson@cs.utexas.edu>
> Delivered-To: attie@ccs.neu.edu
> From: "E. Allen Emerson" <emerson@cs.utexas.edu>
> Date: Tue, 6 Aug 2002 20:06:09 -0500
> X-Mailer: Mail User's Shell (7.2.6 beta(3) 11/17/96)
> To: attie@neu.edu, kedar@research.bell-labs.com, sistla@cs.uic.edu
> Subject: Dijkstra
> Cc: emerson@cs.utexas.edu

> died at 11pm 6 Aug in Neunen. He just stopped breathing. His family was
> with him.

> Allen

See http://www.cs.utexas.edu/users/UTCS/notices/dijkstra/ewdobit.html
for more details.

--Mitch