LTL Model-Checking for Communicating Concurrent Programs. - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

LTL Model-Checking for Communicating Concurrent Programs.

Adrien Pommellet
CV
Tayssir Touili
  • Fonction : Auteur
Centre National de la Recherche Scientifique

Domaines

Informatique [cs]

Tayssir Touili  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02389449

Soumis le : lundi 2 décembre 2019-15:10:59

Dernière modification le : vendredi 29 mars 2024-18:33:39

Fichier non déposé

Dates et versions

hal-02389449 , version 1 (02-12-2019)

Identifiants

  • HAL Id : hal-02389449 , version 1

Citer

Adrien Pommellet, Tayssir Touili. LTL Model-Checking for Communicating Concurrent Programs.. Verification and Evaluation of Computer and Communication Systems - 12th International Conference, VECoS 2018, Grenoble, France, September 26-28, 2018, Proceedings, Sep 2018, Grenoble, France. ⟨hal-02389449⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
13 Consultations
0 Téléchargements

Partager

More