Foreword to the Special Focus on Constraints and Combinations

Pascal Fontaine; Thomas Sturm; Uwe Waldmann

doi:10.1007/s11786-015-0239-8

Directions of work or proceedings

Foreword to the Special Focus on Constraints and Combinations

Pascal Fontaine ¹ 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

2 MPII - Max-Planck-Institut für Informatik

Document type :

Directions of work or proceedings

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

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 : Saturday, November 21, 2020 - 11:40:06 AM

Foreword to the Special Focus on Constraints and Combinations

Links full text

Identifiers

Collections

Citation

Export

Metrics

243

Contact Legal Notice Personal Data

Foreword to the Special Focus on Constraints and Combinations

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

243

Contact Legal Notice Personal Data