Skip to Main content Skip to Navigation
Directions of work or proceedings

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
MPII - Max-Planck-Institut für Informatik, Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
Document type :
Directions of work or proceedings
Complete list of metadata

https://hal.inria.fr/hal-01239438
Contributor : Stephan Merz Connect in order to contact the contributor
Submitted on : Monday, December 7, 2015 - 5:43:41 PM
Last modification on : Saturday, October 16, 2021 - 11:26:05 AM

Links full text

Identifiers

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles