dblp.uni-trier.dewww.uni-trier.de

Kausik Datta

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EEAnsuman Banerjee, Kausik Datta, Pallab Dasgupta: CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion Specifications. ATVA 2008: 228-233
2004
1EEKausik Datta, P. P. Das: Assertion Based Verification Using HDVL. VLSI Design 2004: 319-

Coauthor Index

1Ansuman Banerjee [2]
2P. P. Das [1]
3Pallab Dasgupta [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)