000 00329nam a22001337a 4500
999 _c84250
_d84250
100 _aKESHAV R
245 _aBOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS
300 _a82
650 _aCLIENT SERVER SYSTEM
700 _fAPRIL 2017
852 _aCENTRAL LIBRARY
942 _cPR