Documents dont l'auteur est "Bozic, Josip"

Pour citer ou exporter
Nombre de documents: 1

Auteur ou autrice

Bozic, J., Marsso, L., Mateescu, R., & Wotawa, F. (avril 2018). A Formal TLS Handshake Model in LNT [Communication écrite]. Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018), Thessaloniki, Greece (40 pages). Publié dans Electronic Proceedings in Theoretical Computer Science, 268. Lien externe

Liste produite: Fri Oct 16 21:39:21 2026 EDT.