S. Chaki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

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

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

Coauthor Index

1	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1]
2	Pallab Dasgupta	[1]
3	Jatindra Kumar Deka	[1]