Items where Author is "Basu, Samik"

Basu, Samik ; Mukund, Madhavan ; Ramakrishnan, C. R. ; Ramakrishnan, I. V. ; Verma, Rakesh (2001) Local and symbolic bisimulation using tabled constraint logic programming In: 17th International Conference on Logic Programming (ICLP 2001 ), 26 Nov - 01 Dec 2001, Paphos, Cyprus.