@book{98406,
	author = {PALNITKAR SAMIR},
	title = {DESIGN VERIFICATION WITH E },
	publisher = {PEARSON},
	year = {2008},
	address = {NEW DELHI}
}