| 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 | |
| 1 | P. P. Chakrabarti (Partha Pratim Chakrabarti) | [1] |
| 2 | Pallab Dasgupta | [1] |
| 3 | Aritra Hazra | [1] |