Book Title: Understanding Behaviour of Distributed Systems Using mCRL2
Authors: Muhammad Atif, Jan Friso Groote
Series Title: Studies in Systems, Decision and Control
DOI: https://doi.org/10.1007/978-3-031-23008-0
Publisher: Springer Cham
eBook Packages: Engineering, Engineering (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s), under exclusive license to Springer Nature Switzerland AG 2023
Hardcover ISBN: 978-3-031-23007-3Published: 26 February 2023
Softcover ISBN: 978-3-031-23010-3Due: 11 March 2024
eBook ISBN: 978-3-031-23008-0Published: 25 February 2023
Series ISSN: 2198-4182
Series E-ISSN: 2198-4190
Edition Number: 1
Number of Pages: XV, 235
Number of Illustrations: 88 b/w illustrations, 15 illustrations in colour
