Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 : proceedings /

Bibliographic Details
Corporate Author:	International SPIN Workshop Barcelona, Spain
Other Authors:	Graf, Susanne, Mounier, Laurent
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, [2004]
Series:	Lecture notes in computer science ; 2989.
Subjects:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2989

Remote Storage