<  Retour au portail Polytechnique Montréal

Documents dont l'auteur est "Wotawa, Franz"

Monter d'un niveau
Pour citer ou exporter [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Nombre de documents: 1

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 05:36:01 2026 EDT.