Understanding Behaviour of Distributed Systems Using mCRL2

Research output: Book/Report › Book › Academic

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

Access to Document

@book{46fdd7d63f5543d2ab18b23792403c83,

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

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 (SSDC)",

publisher = "Springer",

address = "Germany",

}

TY - BOOK

T1 - Understanding Behaviour of Distributed Systems Using mCRL2

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023

Y1 - 2023

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

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

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

M3 - Book

AN - SCOPUS:85149462041

SN - 978-3-031-23007-3

SN - 978-3-031-23010-3

T3 - Studies in Systems, Decision and Control (SSDC)

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -