Foreword to the Special Focus on Constraints and Combinations

Pascal Fontaine 1 Thomas Sturm 2, 1 Uwe Waldmann 2, 1
1 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
2 MPII - Max-Planck-Institut für Informatik
Type de document :
Direction d'ouvrage, Proceedings, Dossier
Dongming Wang. Switzerland. 9 (3), Springer, 2015, Mathematics in Computer Science, 〈10.1007/s11786-015-0239-8〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01239438
Contributeur : Stephan Merz <>
Soumis le : lundi 7 décembre 2015 - 17:43:41
Dernière modification le : jeudi 11 janvier 2018 - 06:23:13

Lien texte intégral

openaccess

Identifiants

Collections

INRIA | UNIV-LORRAINE | LORIA-FM | LORIA

Citation

Pascal Fontaine, Thomas Sturm, Uwe Waldmann. Foreword to the Special Focus on Constraints and Combinations. Dongming Wang. Switzerland. 9 (3), Springer, 2015, Mathematics in Computer Science, 〈10.1007/s11786-015-0239-8〉. 〈hal-01239438〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

135

Contact


archive-ouverte@inria.fr