J. Benita Bommi

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2005

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

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

Coauthor Index