Introducing mCRL2

Muhammad Atif; Jan Friso Groote

doi:10.1007/978-3-031-23008-0_1

Introducing mCRL2

Muhammad Atif (Corresponding author)
, Jan Friso Groote

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic › peer-review

1 Downloads (Pure)

Abstract

This chapter provides basic information about mCRL2. Historical notes and comparisons with other similar tools are provided, too. Installations and configuration instructions are also there, along with a road map for learning mCRL2.

Original language	English
Title of host publication	Understanding Behaviour of Distributed Systems Using mCRL2
Publisher	Springer
Chapter	1
Pages	1-7
Number of pages	7
ISBN (Electronic)	978-3-031-23008-0
ISBN (Print)	978-3-031-23007-3
DOIs	https://doi.org/10.1007/978-3-031-23008-0_1
Publication status	Published - 26 Feb 2023

Publication series

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

Bibliographical note

Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

Access to Document

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

Cite this

@inbook{d7396618f17f4433803ea15f62ad953d,

title = "Introducing mCRL2",

abstract = "This chapter provides basic information about mCRL2. Historical notes and comparisons with other similar tools are provided, too. Installations and configuration instructions are also there, along with a road map for learning mCRL2.",

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

note = "Publisher Copyright: {\textcopyright} 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.",

year = "2023",

month = feb,

day = "26",

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

language = "English",

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

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

publisher = "Springer",

pages = "1--7",

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

address = "Germany",

}

TY - CHAP

T1 - Introducing mCRL2

AU - Atif, Muhammad

AU - Groote, Jan Friso

PY - 2023/2/26

Y1 - 2023/2/26

N2 - This chapter provides basic information about mCRL2. Historical notes and comparisons with other similar tools are provided, too. Installations and configuration instructions are also there, along with a road map for learning mCRL2.

AB - This chapter provides basic information about mCRL2. Historical notes and comparisons with other similar tools are provided, too. Installations and configuration instructions are also there, along with a road map for learning mCRL2.

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

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

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

M3 - Chapter

AN - SCOPUS:85149474935

SN - 978-3-031-23007-3

T3 - Studies in Systems, Decision and Control

SP - 1

EP - 7

BT - Understanding Behaviour of Distributed Systems Using mCRL2

PB - Springer

ER -

Introducing mCRL2

Abstract

Publication series

Bibliographical note

Access to Document

Other files and links

Fingerprint

Cite this