Items where Author is "Chakravorty, S."
Group by: Item Type | No Grouping Jump to: Conference or Workshop Item Number of items: 1. Conference or Workshop ItemBanerjee, A. ; Chakravorty, S. ; Pal, B. ; Dasgupta, P. (2005) Interactive test-bench synthesis for assertion-based verification In: 2005 Annual IEEE India Conference - Indicon, 11-13 December 2005. |