Proceedings of the 8th SPIN Workshop
Toronto, Canada

Held: May 19 - 20, 2001

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

Invited talks: Invited Industrial Presentations: Technical Program:

Program committee:

Spin2001 Workshop organization:

Spin Homepage
(Page updated: 21 September 2002)