Items where Author is "Deka, J. K."

Article

Dasgupta, P. ; Deka, J. K. ; Chakrabarti, P. P. (2000) Model checking on timed-event structures IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 19 (5). pp. 601-611. ISSN 0278-0070

Conference or Workshop Item

Deka, J. K. ; Chaki, S. ; Dasgupta, P. ; Chakrabarti, P. P. (2001) Abstractions for model checking of event timings In: The 2001 IEEE International Symposium on Circuits and Systems, ISCAS 2001, 6-9 May 2001, Sydney, NSW, Australia.

Deka, J. K. ; Dasgupta, P. ; Chakrabarti, P. P. (1999) An efficiently checkable subset of TCTL for formal verification of transition systems with delays In: Twelfth International Conference on VLSI Design 1999, 7-10 January 1999.