1
Wydane 2006
Spis treści: ... Fair Exchange in Byzantine Environments -- A Security Analysis of the Precise Time Protocol (Short...
Dokumenty pełnotekstowe
Elektroniczne E-book
2
Wydane 2010
Spis treści: ...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...
Dokumenty pełnotekstowe
Elektroniczne E-book