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

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

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