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
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, 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 : mardi 19 février 2019 - 15:40:03

Lien texte intégral

Identifiants

Collections

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〉

Partager

Métriques

Consultations de la notice

174