TY  - BOOK
AU  - Clarke, Edmund [et al] Eds.
TI  - Verification of Infinite-State Systems with Applications to Security:Volume 1 NATO Security through Science Series:Information and Communication Security
SN  - 1586035703
CY  - Amsterdam
ER  -