Model checking software : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011 : proceedings /

Bibliographic Details
Corporate Author:	International SPIN Workshop Snowbird, Utah
Other Authors:	Groce, Alex, Musuvathi, Madanlal
Format:	Conference Proceeding eBook
Language:	English
Published:	Heidelberg : Springer, 2011.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 6823.
Subjects:	SPIN (Computer file) > Congresses. Computer software > Verification > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource.
Bibliography:	Includes bibliographical references and index.
ISBN:	3642223060 (electronic bk.) 9783642223068 (electronic bk.)
ISSN:	0302-9743 ;
DOI:	10.1007/978-3-642-22306-8