Documents publiés en "2018"

Grouper par: Auteurs ou autrices | Département | Sous-type de document | Aucun groupement

Nombre de documents: 1

Communication écrite

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: Sun May 24 03:28:51 2026 EDT.

Pour citer ou exporter	Atom RSS 1.0 RSS 2.0