Model Checking and Artificial Intelligence 4th Workshop, MoChArt IV, Riva del Garda, Italy, August 29, 2006, Revised Selected and Invited Papers

Select an Action

Title:

Author:

Edelkamp, Stefan. editor.

ISBN:

9783540741282

Physical Description:

IX, 185 p. Also available online. online resource.

Series:

Lecture Notes in Computer Science, 4428

Series Title:

Lecture Notes in Computer Science, 0302-9743 ; 4428

Subject Term:

Added Author:

Added Corporate Author:

Electronic Access:

Holds:
Copies:

Library	Material Type	Item Barcode	Shelf Number	Status	Item Holds
Searching... Online Library	E-Book	187063-2001	ONLINE	Searching... Unknown	Searching... Unavailable