A. R. Saxena

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1976

1 A. R. Saxena, Thomas H. Bredt: Verification of a Monitor Specification. ICSE 1976: 53-59

	1976
1		A. R. Saxena, Thomas H. Bredt: Verification of a Monitor Specification. ICSE 1976: 53-59

Coauthor Index