R. Tandon

List of publications from the DBLP Bibliography Server - FAQ

2001

1 EE S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti: Symbolic verification of Boolean constraints over partially specified functions. ISCAS (5) 2001: 113-116

2001
1	EE	S. Sriram, R. Tandon, Pallab Dasgupta, P. P. Chakrabarti: Symbolic verification of Boolean constraints over partially specified functions. ISCAS (5) 2001: 113-116

Coauthor Index

1 P. P. Chakrabarti (Partha Pratim Chakrabarti) [1]

2 Pallab Dasgupta [1]

3 S. Sriram [1]

1	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1]
2	Pallab Dasgupta	[1]
3	S. Sriram	[1]