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
2 MPII - Max-Planck-Institut für Informatik
Document type :
Directions of work or proceedings
Complete list of metadatas
https://hal.inria.fr/hal-01239438
Contributor : Stephan Merz <>
Submitted on : Monday, December 7, 2015 - 5:43:41 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:03 PM

Links full text

openaccess

Identifiers

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⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

211

Contact


archive-ouverte@inria.fr