Bücher nach ISBN
>
Springer
> Cas Cremers
Cas Cremers
C C
·
C Cremers
Titel
ISBN-13
(ISBN-10)
Erschei-
nungsjahr
andere Autoren
Operational Semantics and Verification of Security Protocols
978-3-54O-78635-1
(3-54O-78635-X)
2012
Sjouke Mauw
Casa Cocina Journals