Preface

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

Original language	English
Title of host publication	Understanding Behaviour of Distributed Systems Using mCRL2
Editors	Muhammad Atif, Johan Friso Groote
Publisher	Springer
Pages	vii-viii
ISBN (Electronic)	978-3-031-23008-0
ISBN (Print)	978-3-031-23007-3, 978-3-031-23010-3
DOIs	https://doi.org/10.1007/978-3-031-23008-0
Publication status	Published - 2023

Name	Studies in Systems, Decision and Control
Volume	458
ISSN (Print)	2198-4182
ISSN (Electronic)	2198-4190

Access to Document

@inbook{841d934620414275bbfc9fa50e8881c3,

title = "Preface",

author = "Muhammad Atif and Groote, \{Jan Friso\}",

year = "2023",

doi = "10.1007/978-3-031-23008-0",

language = "English",

isbn = "978-3-031-23007-3",

series = "Studies in Systems, Decision and Control",

publisher = "Springer",

pages = "vii--viii",

editor = "Muhammad Atif and Groote, \{Johan Friso\}",

booktitle = "Understanding Behaviour of Distributed Systems Using mCRL2",

address = "Germany",

}

TY - CHAP

T1 - Preface

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023

Y1 - 2023

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

U2 - 10.1007/978-3-031-23008-0

DO - 10.1007/978-3-031-23008-0

M3 - Foreword/editorial

SN - 978-3-031-23007-3

SN - 978-3-031-23010-3

T3 - Studies in Systems, Decision and Control

SP - vii-viii

BT - Understanding Behaviour of Distributed Systems Using mCRL2

A2 - Atif, Muhammad

A2 - Groote, Johan Friso

PB - Springer

ER -