J. Benita Bommi

List of publications from the DBLP Bibliography Server - FAQ

2005

1 EE Milind Kulkarni, J. Benita Bommi: Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. Haifa Verification Conference 2005: 43-55

2005
1	EE	Milind Kulkarni, J. Benita Bommi: Assertion-Based Verification for the SpaceCAKE Multiprocessor - A Case Study. Haifa Verification Conference 2005: 43-55

Coauthor Index