Verification of infinite-state systems with applications to security

Select an Action

Title:

Series:

NATO security through science series. 1

NATO security through science series. ; 1

Publication Information:

Amsterdam, The Netherlands : IOS Press, 2006

ISBN:

9781586035709

Subject Term:

Library	Item Barcode	Call Number	Material Type	Item Category 1	Status
Searching... PSZ JB	30000010123734	Q295 V47 2005	Open Access Book	Book	Searching... Unknown