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 May 2001)