S. Chaki

Publication Activity (10 Years)

Years Active: 2001-2001
Publications (10 Years): 0

Publications

Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti
Abstractions for model checking of event timings. ISCAS (5) (2001)