S. R. Karri
List of publications from the
DBLP Bibliography Server
-
FAQ
Coauthor Index
- Ask others: ACM
DL
/
Guide
-
CiteSeer
-
CSB
-
Google
-
MSN
-
Yahoo
2003
1
EE
Abhik Roychoudhury
,
Tulika Mitra
, S. R. Karri: Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol.
DATE 2003
: 10828-10833
Coauthor
Index
1
Tulika Mitra
[
1
]
2
Abhik Roychoudhury
[
1
]
Copyright ©
Sun May 17 03:24:02 2009 by
Michael Ley
(
ley@uni-trier.de
)
