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

From: Gerard J. Holzmann gerard@res...
Subject: [9fans] spin
Date: Mon, 13 Dec 1999 12:05:47 -0500 (EST)

see:
	http:/netlib.bell-labs.com/netlib/spin/whatispin.html
	http://ase.arc.nasa.gov/spin200

-gerard


------ forwarded message follows ------