Local testability from words to traces, a suitable definition

Giovanna Guaiana 1, 2
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

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⟩

Partager

Métriques

Consultations de la notice

18