@Incollection{EPTCS129.25, author = {Namjoshi, Kedar S.}, year = {2013}, title = {Model Checking in Bits and Pieces}, editor = {Banerjee, Anindya and Danvy, Olivier and Doh, Kyung-Goo and Hatcliff, John}, booktitle = {Semantics, Abstract Interpretation, and Reasoning about Programs: Essays Dedicated to David A. Schmidt on the Occasion of his Sixtieth Birthday, {\rm Manhattan, Kansas, USA, 19-20th September 2013}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {129}, publisher = {Open Publishing Association}, pages = {404-416}, doi = {10.4204/EPTCS.129.25}, }