Foreword to the Special Focus on Constraints and Combinations

Pascal Fontaine; Thomas Sturm; Uwe Waldmann

doi:10.1007/s11786-015-0239-8

Books Year : 2015

Foreword to the Special Focus on Constraints and Combinations

(1) , (2, 1) , (2, 1)

1
2

Pascal Fontaine

Function : Scientific advisor
PersonId : 6299
IdHAL : pascal-fontaine
IdRef : 204082471

Modeling and Verification of Distributed Algorithms and Systems

CV

Thomas Sturm

Function : Scientific advisor
PersonId : 739828
IdHAL : thomas-sturm
ORCID : 0000-0002-8088-340X
IdRef : 154039659

Max-Planck-Institut für Informatik

Modeling and Verification of Distributed Algorithms and Systems

Uwe Waldmann

Function : Scientific advisor

Max-Planck-Institut für Informatik

Modeling and Verification of Distributed Algorithms and Systems

Domains

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

Stephan Merz : Connect in order to contact the contributor

https://hal.inria.fr/hal-01239438

Submitted on : Monday, December 7, 2015-5:43:41 PM

Last modification on : Wednesday, February 8, 2023-5:10:58 PM

Dates and versions

hal-01239438 , version 1 (07-12-2015)

Identifiers

HAL Id : hal-01239438 , version 1
DOI : 10.1007/s11786-015-0239-8

Cite

Pascal Fontaine, Thomas Sturm, Uwe Waldmann (Dir.). Foreword to the Special Focus on Constraints and Combinations. Dongming Wang. Springer, 9 (3), 2015, Mathematics in Computer Science, ⟨10.1007/s11786-015-0239-8⟩. ⟨hal-01239438⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

CNRS INRIA UNIV-LORRAINE INRIA2 LORIA LORIA-FM

121 View

0 Download

Foreword to the Special Focus on Constraints and Combinations

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share