Model checking software : 14th International Spin Workshop, Berlin, Germany, July 1-3, 2007 : proceedings

Select an Action

Title:

Conference Author:

Series:

Lecture notes in computer science ; 4595

Publication Information:

Berlin : Springer-Verlag, 2007

Physical Description:

x, 283 p. : ill. ; 24 cm.

ISBN:

9783540733690

General Note:

Available online version

Subject Term:

Added Author:

Electronic Access:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010177455	QA76.76.V47 I574 2007	Open Access Book	Proceedings, Conference, Workshop etc.	Searching... Unknown