Your search returned 3 results.

Results
	1.	Model checking of healthcare domain models. [electronic resource] by Baksi, Dibyendu Producer: 20091203 In: Computer methods and programs in biomedicine vol. 96 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	2.	Formal interaction specification in public health surveillance systems using pi-calculus. [electronic resource] by Baksi, Dibyendu Producer: 20090114 In: Computer methods and programs in biomedicine vol. 92 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)
	3.	Integrating MPI and deduplication engines: a software architecture roadmap. [electronic resource] by Baksi, Dibyendu Producer: 20090519 In: International journal of medical informatics vol. 78 Online resources: Available from publisher's website Availability: No items available. Save to lists Add to cart (remove)

Refine your search