| HAL-Inria | Publications, software ... of Inria's scientists |
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
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est, MPII - Max-Planck-Institut für Informatik
Pascal Fontaine 1
Mail :
Author IdHAL : pascal-fontaine
Thomas Sturm 2, 1
Author
Uwe Waldmann 2, 1
Author
1
VERIDIS - Modeling and Verification of Distributed Algorithms and Systems (France)
- LORIA - FM - Department of Formal Methods (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- UL - Université de Lorraine (34 cours Léopold - CS 25233 - 54052 Nancy cedex - France)
- CNRS - Centre National de la Recherche Scientifique : UMR7503 (France)
- LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications (Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex - France)
- Inria Nancy - Grand Est (615 rue du Jardin Botanique 54600 Villers-lès-Nancy - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
- MPII - Max-Planck-Institut für Informatik (Campus E-1 4, 66123 Saarbrücken, Germany - Germany)
- Max-Planck-Gesellschaft (Jägerstrasse, 10-11, D-10117 Berlin - Germany)
2
MPII - Max-Planck-Institut für Informatik (Campus E-1 4, 66123 Saarbrücken, Germany - Germany)
- Max-Planck-Gesellschaft (Jägerstrasse, 10-11, D-10117 Berlin - Germany)
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
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
Identifiers
- HAL Id : hal-01239438, version 1
- DOI : 10.1007/s11786-015-0239-8
Collections
CNRS | 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⟩
Metrics
Record views