LEADER 01277nam0 22003013i 450 
001 VAN00279492
005 20240806101553.909
017 70$2N$a9783031230080
100   $a20240709d2023       |0itac50      ba
101   $aeng
102   $aCH
105   $a||||    |||||
200 1 $aUnderstanding Behaviour of Distributed Systems Using mCRL2$fMuhammad Atif, Jan Friso Groote
210   $aCham$cSpringer$d2023
215   $aXV, 235 p.$d24 cm
410  1$1001VAN00107743$12001 $aStudies in Systems, Decision and Control$1210  $aCham$cSpringer$d2014-$v458
620   $aCH$dCham$3VANL001889
700  1$aAtif$bMuhammad$3VANV232044$01337475
701  1$aGroote$bJan Friso$3VANV232045$0846119
712   $aSpringer <editore>$3VANV108073$4650
801   $aIT$bSOL$c20240906$gRICA
856 4 $uhttps://doi.org/10.1007/978-3-031-23008-0$zE-book ? Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o Shibboleth
899   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$2VAN15
912   $fN
912   $aVAN00279492
950   $aBIBLIOTECA CENTRO DI SERVIZIO SBA$d15CONS      SBA EBOOK               14250       $e15EB 14250             20240709            
996   $aUnderstanding Behaviour of Distributed Systems Using mCRL2$94209025
997   $aUNICAMPANIA