Fifth Workshop on Automated Verification of Critical Systems (AVoCS'05). Image 50/59

Click to See Next Image

Nick Papanikolaou, speaking with emotion on: An Automated Analysis of the Security of Quantum Key Distribution.
First Previous Up Next Last