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: 5 September 2000)