Model-Checking HyperLTL for Pushdown Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2018

Model-Checking HyperLTL for Pushdown Systems

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-02389483

Soumis le : lundi 2 décembre 2019-15:20:36

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

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02389483 , version 1

Citer

Adrien Pommellet, Tayssir Touili. Model-Checking HyperLTL for Pushdown Systems. Model Checking Software - 25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings., Jun 2018, Malaga, Spain. ⟨hal-02389483⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS
16 Consultations
0 Téléchargements

Partager

More