Proceedings of the 7th SPIN Workshop
Stanford University, California

Held: August 30 - September 1, 2000

Published as:
	Lecture Notes in Computer Science,
	Volume 1885, Springer Verlag.
	September 2000, ISSN 0302-9743.
	The page numbers below refer to this publication.

Invited talks: Invited Tool Presentations: Technical Program:

Program committee:

Spin2000 Workshop organization:

Spin Homepage
(Page updated: 21 September 2002)