There have been 2,780 accesses to this library. (Count updated 01/21/98 at 02:19:48)
file bibnet/people/h/holzmann-gerard.html for Pointer to WWW home page for Gerard Holzmann file bibnet/people/h/whatispin.html for WWW SPIN - protocol verifier information file bibnet/people/h/holzmann-gerard.gif