01277nam0 22003013i 450 VAN0027949220240806101553.909N978303123008020240709d2023 |0itac50 baengCH|||| |||||Understanding Behaviour of Distributed Systems Using mCRL2Muhammad Atif, Jan Friso GrooteChamSpringer2023XV, 235 p.24 cm001VAN001077432001 Studies in Systems, Decision and Control210 ChamSpringer2014-458CHChamVANL001889AtifMuhammadVANV2320441337475GrooteJan FrisoVANV232045846119Springer <editore>VANV108073650ITSOL20240906RICAhttps://doi.org/10.1007/978-3-031-23008-0E-book – Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA CENTRO DI SERVIZIO SBAVAN15NVAN00279492BIBLIOTECA CENTRO DI SERVIZIO SBA15CONS SBA EBOOK 14250 15EB 14250 20240709 Understanding Behaviour of Distributed Systems Using mCRL24209025UNICAMPANIA