Verification of infinite-state systems with applications to security /

Verification of infinite-state systems with applications to security /

39

Bibliographic Details
Format:
Language:eng
Published: Amsterdam, The Netherlands : IOS Press, 2006
Subjects:
System theory
Computer security
Computer software
Description
Summary:39

Similar Items