Items where Author is "Deka, Jatindra Kumar"

Article

Dasgupta, Pallab ; Chakrabarti, P. P. ; Deka, Jatindra Kumar (2002) Min-max event-triggered computation tree logic Sadhana, 27 (2). pp. 163-180. ISSN 0256-2499

Dasgupta, Pallab ; Chakrabarti, P. P. ; Deka, Jatindra Kumar ; Sankaranarayanan, Sriram (2001) Min-max computation tree logic Artificial Intelligence, 127 (1). pp. 137-162. ISSN 0004-3702