Local testability from words to traces, a suitable definition

Giovanna Guaiana 1, 2
1 LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
2 CA - LITIS - Equipe Combinatoire et algorithmes
LITIS - Laboratoire d'Informatique, de Traitement de l'Information et des Systèmes
Type de document :
Article dans une revue
Liste complète des métadonnées
https://hal-normandie-univ.archives-ouvertes.fr/hal-02120299
Contributeur : Giovanna Guaiana <>
Soumis le : dimanche 5 mai 2019 - 17:57:19
Dernière modification le : lundi 6 mai 2019 - 01:23:07

Identifiants

Collections

COMUE-NORMANDIE | LITIS | INSA-ROUEN | UNIROUEN | UNILEHAVRE | INSA-GROUPE

Citation

Giovanna Guaiana. Local testability from words to traces, a suitable definition. Theoretical Computer Science, Elsevier, 2017, 658, pp.175-189. ⟨10.1016/j.tcs.2016.06.023⟩. ⟨hal-02120299⟩

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

18