Preface

Salem Benferhat; Hana Chockler; Eric Fabre; Görschwin Fey; Gregor Gössler; Alex Groce; Sylvain Hallé; Joseph Halpern; Stefan Leue; Dejan Nickovic; Andy Podgurski; Oleg Sokolsky; Jean Bernard Stefani; Louise Travé-Massuyès; Joost Vennekens; Chao Wang; Georg Weissenbacher

doi:10.4204/EPTCS.224

Preface

Salem Benferhat
, Hana Chockler
, Eric Fabre
, Görschwin Fey
, Gregor Gössler
, Alex Groce
, Sylvain Hallé
, Joseph Halpern
, Stefan Leue
, Dejan Nickovic
, Andy Podgurski
, Oleg Sokolsky
, Jean Bernard Stefani
, Louise Travé-Massuyès
, Joost Vennekens
, Chao Wang
, Georg Weissenbacher

Research output: Contribution to journal › Editorial › peer-review

Original language	English (US)
Journal	Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume	224
DOIs	https://doi.org/10.4204/EPTCS.224
State	Published - Aug 26 2016
Externally published	Yes
Event	1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016 - Eindhoven, Netherlands Duration: Apr 8 2016 → …

ASJC Scopus subject areas

Software

Access to Document

10.4204/EPTCS.224

Cite this

@article{bb2d6aee9d8d427cb6ab21ba9ae819ca,

title = "Preface",

author = "Salem Benferhat and Hana Chockler and Eric Fabre and G{\"o}rschwin Fey and Gregor G{\"o}ssler and Alex Groce and Sylvain Hall{\'e} and Joseph Halpern and Stefan Leue and Dejan Nickovic and Andy Podgurski and Oleg Sokolsky and Stefani, \{Jean Bernard\} and Louise Trav{\'e}-Massuy{\`e}s and Joost Vennekens and Chao Wang and Georg Weissenbacher",

year = "2016",

month = aug,

day = "26",

doi = "10.4204/EPTCS.224",

language = "English (US)",

volume = "224",

journal = "Electronic Proceedings in Theoretical Computer Science, EPTCS",

issn = "2075-2180",

publisher = "Open Publishing Association",

note = "1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016 ; Conference date: 08-04-2016",

}

TY - JOUR

T1 - Preface

AU - Benferhat, Salem

AU - Chockler, Hana

AU - Fabre, Eric

AU - Fey, Görschwin

AU - Gössler, Gregor

AU - Groce, Alex

AU - Hallé, Sylvain

AU - Halpern, Joseph

AU - Leue, Stefan

AU - Nickovic, Dejan

AU - Podgurski, Andy

AU - Sokolsky, Oleg

AU - Stefani, Jean Bernard

AU - Travé-Massuyès, Louise

AU - Vennekens, Joost

AU - Wang, Chao

AU - Weissenbacher, Georg

PY - 2016/8/26

Y1 - 2016/8/26

UR - https://www.scopus.com/pages/publications/85015949937

UR - https://www.scopus.com/pages/publications/85015949937#tab=citedBy

U2 - 10.4204/EPTCS.224

DO - 10.4204/EPTCS.224

M3 - Editorial

AN - SCOPUS:85015949937

SN - 2075-2180

VL - 224

JO - Electronic Proceedings in Theoretical Computer Science, EPTCS

JF - Electronic Proceedings in Theoretical Computer Science, EPTCS

T2 - 1st Workshop on Causal Reasoning for Embedded and Safety-Critical Systems Technologies, CREST 2016

Y2 - 8 April 2016

ER -

Preface

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this