Shopping cart
0 items
€ 0
IOSPress
STM Publishing House | Impacting the World of Science
Books & Journals, Online & Print
Home
News
Books & Journals
Service
About IOS Press
Contact
Catalogue
Books
Journals
All
Recommend this title to your librarian
Recommend this title to your librarian
Verification of Infinite-State Systems with Applications to Security
Your name
First
Last
Department
Your email address
Your librarian's email address
Personalize your message