S. Chaki

According to our database, S. Chaki authored at least 1 paper in 2001.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2001

Abstractions for model checking of event timings.

Jatindra Kumar Deka, S. Chaki, Pallab Dasgupta, P. P. Chakrabarti

Proceedings of the 2001 International Symposium on Circuits and Systems, 2001