000 00348nam a22001457a 4500
003 OSt
005 20211223093708.0
008 211223b |||||||| |||| 00| 0 eng d
020 _a9064648654
040 _cHU
082 _a004.3621PAN2004
100 _aPang
_924492
245 _aFormal Verification Of Distributed Systems
942 _2ddc
_cBOOKS
_n0
999 _c23611
_d23611