TY  - BOOK
AU  - KESHAV R
AU  - 
TI  - BOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS
KW  - CLIENT SERVER SYSTEM
ER  -