Josip Bozic, Lina Marsso
, Radu Mateescu, Franz Wotawa
Communication écrite (2018)
Document publié alors que les auteurs ou autrices n'étaient pas affiliés à Polytechnique Montréal
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Mots clés
Organismes subventionnaires:
Österreichische Forschungsförderungsgesellschaft, Région Auvergne-Rhône-Alpes
Numéro de subvention:
851205, ARC 6
Adresse URL de PolyPublie:
Nom de la conférence:
Models for Formal Analysis of Real Systems (MARS 2018) / Verification and Program Transformation (VPT 2018)
Lieu de la conférence:
Thessaloniki, Greece
Date(s) de la conférence:
2018-04-20
Titre de la revue
:
Electronic Proceedings in Theoretical Computer Science
(
vol.
268
)
Maison d'édition:
Open Publishing Association
DOI:
URL officielle:
OAI:
oai:publications.polymtl.ca:74384
ORCID
Date du dépôt:
05 mai 2026 14:29
Dernière modification:
14 oct. 2026 14:35
Citer en APA 7:
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. https://doi.org/10.4204/eptcs.268.1
Statistiques
Dimensions
