Preface

Research output: Chapter in Book/Report/Conference proceeding › Foreword/postscript

Original language	English
Title of host publication	Formal Modeling and Verification of Cyber-Physical Systems
Subtitle of host publication	1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Publisher	Springer Fachmedien
Pages	v-vii
ISBN (Electronic)	9783658099947
ISBN (Print)	9783658099930
DOIs	https://doi.org/10.1007/978-3-658-09994-7
Publication status	Published - 1 Jan 2015
Externally published	Yes

Access to Document

@inbook{8a68282d61fd4428a230c2265510027e,

title = "Preface",

author = "Rolf Drechsler and Ulrich K{\"u}hne",

year = "2015",

month = jan,

day = "1",

doi = "10.1007/978-3-658-09994-7",

language = "English",

isbn = "9783658099930",

pages = "v--vii",

booktitle = "Formal Modeling and Verification of Cyber-Physical Systems",

publisher = "Springer Fachmedien",

}