@book{84250,
	author = {KESHAV R},
	title = {BOUNDED MODEL CHECKING FOR CLIENT SERVER SYSTEMS WITH UNBOUNDED CLIENTS}
}