Priyankar Ghosh

	2012
4		Srobona Mitra, Priyankar Ghosh, Pallab Dasgupta: Verification by parts: reusing component invariant checking results. IET Computers & Digital Techniques 6(1): 19-32 (2012)
	2010
3		Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti: Coverage Management with Inline Assertions and Formal Test Points. VLSI Design 2010: 140-145
2		Priyankar Ghosh, Pallab Dasgupta: Detecting Ontological Conflicts in Protocols between Semantic Web Services CoRR abs/1011.0950: (2010)
	2009
1		Aritra Hazra, Priyankar Ghosh, Pallab Dasgupta, Partha Pratim Chakrabarti: Inline Assertions - Embedding Formal Properties in a Test Bench. VLSI Design 2009: 71-76

Coauthor Index

1	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [3]
2	Pallab Dasgupta	[1] [2] [3] [4]
3	Aritra Hazra	[1] [3]
4	Srobona Mitra	[4]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page