Items where Author is "Das, Partha Pratim"Group by: Item Type | No Grouping Number of items: 1. Das, Sourasis ; Dasgupta, Pallab ; Banerjee, Ansuman ; Das, Partha Pratim (2009) Directed automated symbolic verification of formal properties with local variables In: TENCON 2009 - 2009 IEEE Region 10 Conference, 23-26 January 2009, Singapore. |
| Login | Create Account |
![[up]](/style/images/multi_up.png)
Up a level