Bücher nach ISBN
>
LAP LAMBERT Academic Publishing
> Burcu Külahçolu
Burcu Külahçolu
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Timed Automata as a Verification Tool for Security Protocols: An Analysis on a Case Study
978-3-8443-946O-3
(3-8443-946O-5)
2011
Burczaniuk Katarzyna Stanik Mariusz