A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL - Archive ouverte HAL
Communication Dans Un Congrès Année : 2005

A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL

Résumé

Domaines

Informatique [cs] Calcul parallèle, distribué et partagé [cs.DC]

Laboratoire CEDRIC  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01125033

Soumis le : vendredi 6 mars 2015-10:56:17

Dernière modification le : vendredi 19 juillet 2024-11:38:04

Fichier non déposé

Dates et versions

hal-01125033 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125033 , version 1

Citer

Hacène Sebih, Kamel Barkaoui. A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL. PDPTA'05, Int. Conf. on Parallel and Distributed Processing Techniques and Applications, Las Vegas, Nevada, USA, Jan 2005, X, France. pp.1255-1263. ⟨hal-01125033⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNAM CEDRIC-CNAM
40 Consultations
0 Téléchargements

Partager

More