S. Chaki

List of publications from the DBLP Bibliography Server - FAQ

2001

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

2001
1	EE	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]