Introducing mCRL2

Muhammad Atif; Jan Friso Groote

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

Introducing mCRL2

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

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
Pages	1-7
Number of pages	7
DOIs	https://doi.org/10.1007/978-3-031-23008-0_1
Publication status	Published - 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",

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

language = "English",

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

Y1 - 2023

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 - http://www.scopus.com/inward/record.url?scp=85149474935&partnerID=8YFLogxK

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

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

M3 - Chapter

AN - SCOPUS:85149474935

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